% This file was created with JabRef 2.7.2.
% Encoding: UTF8

@INPROCEEDINGS{DBLP:conf/fm/CampbellGNSTV05,
  author = {{C}olin {C}ampbell and {W}olfgang {G}rieskamp and {L}ev {N}achmanson
	and {W}olfram {S}chulte and {N}ikolai {T}illmann and {M}argus {V}eanes},
  title = {{T}esting {C}oncurrent {O}bject-{O}riented {S}ystems with {S}pec
	{E}xplorer},
  booktitle = {{FM}},
  year = {2005},
  pages = {542-547},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/fm/2005},
  ee = {http://dx.doi.org/10.1007/11526841_38}
}

@INPROCEEDINGS{DBLP:conf/models/HermansPD09,
  author = {{F}elienne {H}ermans and {M}artin {P}inzger and {A}rie van {D}eursen},
  title = {{D}omain-{S}pecific {L}anguages in {P}ractice: {A} {U}ser {S}tudy
	on the {S}uccess {F}actors},
  booktitle = {{M}o{DELS}},
  year = {2009},
  pages = {423-437},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/models/2009},
  ee = {http://dx.doi.org/10.1007/978-3-642-04425-0_33}
}

@INPROCEEDINGS{DBLP:conf/apn/MinerC99,
  author = {{A}ndrew {S}. {M}iner and {G}ianfranco {C}iardo},
  title = {{E}fficient {R}eachability {S}et {G}eneration and {S}torage {U}sing
	{D}ecision {D}iagrams.},
  booktitle = {{ICATPN}},
  year = {1999},
  pages = {6-25},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/apn/1999},
  ee = {http://link.springer.de/link/service/series/0558/bibs/1639/16390006.htm}
}

@INPROCEEDINGS{DBLP:conf/mfcs/Mosses99,
  author = {{P}eter {D}. {M}osses},
  title = {{F}oundations of {M}odular {SOS}.},
  booktitle = {{MFCS}},
  year = {1999},
  pages = {70-80},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/mfcs/1999}
}

@INPROCEEDINGS{DBLP:conf/rsp/PedroLB06,
  author = {{L}uis {P}edro and {L}evi {L}ucio and {D}idier {B}uchs},
  title = {{P}rinciples for {S}ystem {P}rototype and {V}erification {U}sing
	{M}etamodel {B}ased {T}ransformations.},
  booktitle = {{IEEE} {I}nternational {W}orkshop on {R}apid {S}ystem {P}rototyping},
  year = {2006},
  pages = {10-17},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/rsp/2006},
  ee = {http://doi.ieeecomputersociety.org/10.1109/RSP.2006.29}
}

@INPROCEEDINGS{DBLP:conf/dagstuhl/PretschnerP04,
  author = {{A}lexander {P}retschner and {J}an {P}hilipps},
  title = {{M}ethodological {I}ssues in {M}odel-{B}ased {T}esting},
  booktitle = {{M}odel-{B}ased {T}esting of {R}eactive {S}ystems},
  year = {2004},
  pages = {281-291},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/dagstuhl/2004test},
  ee = {http://dx.doi.org/10.1007/11498490_13}
}

@INPROCEEDINGS{Risoldi:07:VLHCC,
  author = {{M}atteo {R}isoldi and {D}idier {B}uchs},
  title = {{A} domain specific language and methodology for control systems
	{GUI} specification, verification and prototyping},
  booktitle = {2007 {IEEE} {S}ymposium on {V}isual {L}anguages and {H}uman-{C}entric
	{C}omputing ({VL}/{HCC} 2007), 23-27 {S}eptember 2007, {USA}},
  year = {2007},
  pages = {179-182},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/vl/2007},
  ee = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.2}
}

@MISC{bpmi:bpmn,
  author = {{B}usiness {P}rocess {M}anagement {I}nitiative ({BPMI})},
  title = {{B}usiness {P}rocess {M}odeling {N}otation ({BPMN})},
  year = {2004}
}

@MISC{wsdl:spec,
  author = {{W}orld {W}ide {W}eb {C}onsortium ({W}3{C})},
  title = {{W}eb {S}ervices {D}escription {L}anguage},
  url = {http://www.w3.org/TR/2001/NOTE-wsdl-20010315}
}

@MISC{wfmc:standards,
  author = {{W}orkflow {M}anagement {C}oalition ({W}f{MC})},
  title = {{W}orkflow {R}eference {M}odel and {S}tandards},
  owner = {ang},
  url = {http://www.wfmc.org/}
}

@MANUAL{atlas:usermanual,
  title = {{ATL} {U}ser {M}anual},
  author = {{ATLAS} group},
  organization = {LINA and INRIA},
  year = {2006},
  note = {\url{http://www.eclipse.org/m2m/atl/doc/ATL_User_Manual[v0.7].pdf}}
}

@TECHREPORT{baticscollection2006,
  author = {{BATIC}$^3${S} collaboration},
  title = {{BATIC}$^3${S} project document collection 2005-2006},
  institution = {Universit\'e de Gen\`eve},
  year = {2006},
  note = {\url {http://smv.unige.ch/tiki-index.php?page=BATICSBiblio}}
}

@TECHREPORT{omg:mof2,
  author = {{O}bject {M}anagement {G}roup members},
  title = {{M}eta-{O}bject {F}acility 2.0 {C}ore {S}pecification },
  institution = {{O}{M}{G}},
  year = {2007},
  month = {January},
  note = {\url{http://www.omg.org/cgi-bin/doc?formal/2006-01-01}},
  bdsk-url-1 = {http://www.omg.org/cgi-bin/doc?formal/2006-01-01},
  date-modified = {2008-02-27 17:04:04 +0100},
  keywords = {MOF, Metamodeling, OMG},
  url = {http://www.omg.org/cgi-bin/doc?formal/2006-01-01}
}

@TECHREPORT{uml2_super,
  author = {{O}bject {M}anagement {G}roup members},
  title = {{UML} 2.0 {S}uperstructure {S}pecification},
  institution = {OMG},
  year = {2005},
  month = {August},
  note = {http://www.omg.org/cgi-bin/doc?formal/05-07-04}
}

@MISC{pep,
  author = {{PEP} development group},
  title = {{PEP} homepage.},
  note = {http://theoretica.informatik.uni-oldenburg.de/~pep/}
}

@MISC{kermeta_web,
  author = {{T}riskell team},
  title = {{K}ermeta - {B}reathe life into your metamodels},
  date-added = {2008-02-25 14:52:49 +0100},
  date-modified = {2008-02-25 14:56:00 +0100},
  keywords = {Metamodeling, Kermeta},
  url = {http://www.kermeta.org/}
}

@MISC{modtransf_web,
  author = {{T}riskell team},
  title = {{M}od-{T}ransf - {XML} and ruled based transformation language},
  note = {\url{http://modelware.inria.fr/rubrique15.html}}
}

@MISC{mtl_web,
  author = {{T}riskell team},
  title = {{MTL} {D}ocumentation},
  note = {\url{http://modelware.inria.fr/rubrique4.html}}
}

@BOOK{nusmv_book,
  title = {{N}u{SMV}: {A} {N}ew {S}ymbolic {M}odel {V}erifier},
  publisher = {Springer Berlin / Heidelberg},
  year = {1999},
  author = {{A}. {C}imatti , {E}. {C}larke, {F}. {G}iunchiglia and {M}. {R}overi},
  optvolume = {1633/1999}
}

@TECHREPORT{van03:xpdl,
  author = {{W}.{M}.{P}. van der {A}alst},
  title = {{P}atterns and {XPDL}: {A} {C}ritical {E}valuation of the {XML} {P}rocess
	{D}efinition {L}anguage},
  institution = {QUT Technical report, FIT-TR-2003-06, Queensland University of Technology,
	Brisbane},
  year = {2003}
}

@TECHREPORT{aalst02:bpml,
  author = {{W}.{M}.{P}. van der {A}alst and {M}. {D}umas and {A}.{H}.{M}. ter
	{H}ofstede and {P}. {W}ohed},
  title = {{P}attern-{B}ased {A}nalysis of {BPML} (and {WSCI})},
  institution = {QUT Technical report, FIT-TR-2002-05, Queensland University of Technology,
	Brisbane},
  year = {2002}
}

@ARTICLE{Aalst05:mining,
  author = {{W}.{M}.{P}. van der {A}alst and {A}.{J}.{M}.{M}. {W}eijters},
  title = {{P}rocess {M}ining},
  journal = {{I}n {M}. {D}umas, {W}.{M}.{P}. van der {A}alst, and {A}.{H}.{M}.
	ter {H}ofstede, editors, {P}rocess-{A}ware {I}nformation {S}ystems:
	{B}ridging {P}eople and {S}oftware through {P}rocess {T}echnology,
	pages 235-255.},
  year = {2005},
  publisher = {Wiley \& Sons}
}

@INPROCEEDINGS{Aalst97,
  author = {{W}. {M}. {P}. van der {A}alst},
  title = {{V}erification of {W}orkflow {N}ets.},
  booktitle = {{L}ecture {N}otes in {C}omputer {S}cience: 18th {I}nternational {C}onference
	on {A}pplication and {T}heory of {P}etri {N}ets, {T}oulouse, {F}rance,
	{J}une 1997},
  year = {1997},
  editor = { {Az\'ema, P.} and {Balbo, G.}},
  volume = {1248},
  pages = {407--426},
  address = {Berlin, Germany},
  month = jun,
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{Aalst98:error,
  author = {{W}. {M}. {P}. van der {A}alst},
  title = {{F}inding {E}rrors in the {D}esign of a {W}orkflow {P}rocess: {A}
	{P}etri-net-based {A}pproach.},
  booktitle = {{C}omputing {S}cience {R}eports/7: {P}roceedings of {W}orkflow {M}anagement:
	{N}et-based {C}oncepts, {M}odels, {T}echniques and {T}ools ({WFM}'98)},
  year = {1998},
  editor = {van {der Aalst, W.} and {Michelis, G.} and {Ellis,C.}},
  volume = {98},
  pages = {60--81},
  address = {Lisbon, Portugal},
  publisher = {Eindhoven University of Technology, Eindhoven}
}

@ARTICLE{van98:3reasons,
  author = {{W}. {M}. {P}. van der {A}alst},
  title = {{T}hree {G}ood reasons for {U}sing a {P}etri-net-based {W}orkflow
	{M}anagement {S}ystem.},
  journal = {{T}he {K}luwer {I}nternational {S}eries in {E}ngineering and {C}omputer
	{S}cience: {I}nformation and {P}rocess {I}ntegration in {E}nterprises:
	{R}ethinking {D}ocuments, {C}hapter 10},
  year = {1998},
  volume = {428},
  pages = {161--182},
  editor = { {Wakayama, T.} and {Kannapan, S.} and {Khoong, C.} and {Navathe,
	S.} and {Yates, J.}},
  publisher = {Kluwer Academic Publishers, Boston, Massachusetts}
}

@ARTICLE{Aalst99:EPCs,
  author = {{W}. {M}. {P}. van der {A}alst},
  title = {{F}ormalization and {V}erification of {E}vent-driven {P}rocess {C}hains},
  journal = {{I}nformation and {S}oftware {T}echnology},
  year = {1999},
  volume = {41},
  pages = {639--650},
  number = {10},
  keywords = {Petri nets, event-driven process chains, verification, workflow management;}
}

@INPROCEEDINGS{Aalst02:EPCs,
  author = {{W}. {M}. {P}. van der {A}alst and {J}. {D}esel and {E}. {K}indler},
  title = {{O}n the {S}emantics of {EPC}s: {A} {V}icious {C}ircle.},
  booktitle = {{P}roceedings of the {EPK} 2002: {B}usiness {P}rocess {M}anagement
	using {EPC}s / {N}\`ettgens, {M}.; {R}ump, {F}. ({E}ds.)},
  year = {2002},
  pages = {71--80},
  address = {Trier, Germany},
  month = nov,
  publisher = {Gesellschaft f\`er Informatik, Bonn}
}

@ARTICLE{Aalst02:yawl,
  author = {{W}. {M}. {P}. van der {A}alst and {A}. {H}. {M}. ter ter {H}ofstede},
  title = {{YAWL}: {Y}et {A}nother {W}orkflow {L}anguage.},
  journal = {{QUT} {T}echnical report, {FIT}-{TR}-2002-06},
  year = {2002},
  publisher = {Queensland University of Technology, Brisbane}
}

@ARTICLE{van02:wfpatterns,
  author = {{W}. {M}. {P}. van der {A}alst and {A}. {H}. {M}. ter {H}ofstede
	and {B}. {K}iepuszewski and {A}. {P}. {B}arros},
  title = {{W}orkflow {P}atterns.},
  journal = {{QUT} {T}echnical report, {FIT}-{TR}-2002-02},
  year = {2002},
  note = {(Also see http://www.tm.tue.nl/it/research/patterns)},
  publisher = {Queensland University of Technology, Brisbane}
}

@ARTICLE{954230,
  author = {{P}arosh {A}ziz {A}bdulla and {S}. {P}urushothaman {I}yer and {A}letta
	{N}yl\'en},
  title = {{SAT}-{S}olving the {C}overability {P}roblem for {P}etri {N}ets},
  journal = {{F}orm. {M}ethods {S}yst. {D}es.},
  year = {2004},
  volume = {24},
  pages = {25--43},
  number = {1},
  address = {Hingham, MA, USA},
  doi = {http://dx.doi.org/10.1023/B:FORM.0000004786.30007.f8},
  issn = {0925-9856},
  publisher = {Kluwer Academic Publishers}
}

@BOOK{b_book,
  title = {{T}he {B}-book: assigning programs to meanings},
  publisher = {Cambridge University Press},
  year = {1996},
  author = {{J}.-{R}. {A}brial},
  address = {New York, NY, USA},
  isbn = {0-521-49619-5}
}

@INPROCEEDINGS{BB04,
  author = {{B}esrour {A}del and {B}uchs {D}idier},
  title = {{M}odular {M}odelling and {C}onstruction of {F}inite {S}imulation
	in {MORM}},
  booktitle = {{C}onference on {M}odelling and {S}imulation},
  year = {2004}
}

@MISC{age,
  author = {{AGEDIS}},
  title = {{AGEDIS} homepage.},
  note = {http://www.agedis.de}
}

@ARTICLE{AgrawalKarsaiNeemaShiVizhanyo2006,
  author = {{A}. {A}grawal and {G}abor {K}arsai and {S}andeep {N}eema and {F}eng
	{S}hi and {A}ttila {V}izhanyo},
  title = {{T}he {D}esign of a {L}anguage for {M}odel {T}ransformations},
  journal = {{J}ournal on {S}oftware and {S}ystem {M}odeling},
  year = {2006},
  volume = {5},
  pages = {261-288},
  number = {3},
  month = {September},
  url = {http://chess.eecs.berkeley.edu/pubs/277.html}
}

@TECHREPORT{great,
  author = {{A}ditya {A}grawal and {G}abor {K}arsai and {F}eng {S}hi},
  title = {{G}raph {T}ransformations on {D}omain-{S}pecific {M}odels},
  institution = {Institute for Software Integrated Systems, Vanderbilt University},
  year = {2003}
}

@ARTICLE{DBLP:journals/entcs/AkehurstP04,
  author = {{D}avid {H}. {A}kehurst and {O}ctavian {P}atrascoiu},
  title = {{OCL} 2.0 - {I}mplementing the {S}tandard for {M}ultiple {M}etamodels.},
  journal = {{E}lectr. {N}otes {T}heor. {C}omput. {S}ci.},
  year = {2004},
  volume = {102},
  pages = {21-41},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1016/j.entcs.2003.09.002}
}

@INPROCEEDINGS{Al-Shabibi03,
  author = {{A}li {A}l-{S}habibi and {D}idier {B}uchs and {M}athieu {B}uffo and
	{S}tanislav {C}hachkov and {A}ng {C}hen and {D}avid {H}urzeler},
  title = {{P}rototyping {O}bject {O}riented {S}pecifications.},
  booktitle = {{P}roceedings of the 24th {I}nternational {C}onference on {A}pplications
	and {T}heory of {P}etri {N}ets ({ICATPN} 2003), {LNCS}},
  year = {2003},
  volume = {2679},
  pages = {473-482},
  month = {June},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{alonso96:advanced,
  author = {{G}. {A}lonso and {M}. {K}amath and {D}. {A}grawal and {A}. {E}l
	{A}bbadi and {R}. {G}unthor and {C}. {M}ohan},
  title = {{A}dvanced transaction models in workflow contexts},
  booktitle = {{I}n {P}roc. {I}ntl. {C}onf. on {D}ata {E}ngineering, {N}ew {O}rleans},
  year = {February 1996}
}

@INPROCEEDINGS{moflon,
  author = {{C}arsten {A}melunxen and {A}lexander {K}{\"o}nigs and {T}obias {R}{\"o}tschke
	and {A}ndy {S}ch{\"u}rr},
  title = {{MOFLON}: {A} {S}tandard-{C}ompliant {M}etamodeling {F}ramework with
	{G}raph {T}ransformations},
  booktitle = {{ECMDA}-{FA}},
  year = {2006},
  pages = {361-375},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@MISC{bpel:spec,
  author = {{T}ony {A}ndrews and {F}rancisco {C}urbera and {H}itesh {D}holakia
	and {Y}aron {G}oland and {J}ohannes {K}lein and {F}rank {L}eymann
	and {K}evin {L}iu and {D}ieter {R}oller and {D}oug {S}mith and {S}atish
	{T}hatte and {I}vana {T}rickovic and {S}anjiva {W}eerawarana},
  title = {{B}usiness {P}rocess {E}xecution {L}anguage for {W}eb {S}ervice v1.1,
	{IBM}, {BEA} {S}ystems, {M}icrosoft, {SAP} {AG}, {S}iebel {S}ystems,
	2003},
  url = {http://www-128.ibm.com/developerworks/library/specification/ws-bpel/}
}

@MISC{batik,
  author = {{A}pache},
  title = {{B}atik {SVG} {T}oolkit},
  year = {2005},
  note = {\url{http://xmlgraphics.apache.org/batik/}}
}

@MISC{bpel:spec2,
  author = {{A}ssaf {A}rkin and {S}id {A}skary and {B}en {B}loch and {F}rancisco
	{C}urbera and {Y}aron {G}oland and {N}eelakantan {K}artha and {C}anyang
	{K}evin {L}iu and {S}atish {T}hatte and {P}rasad {Y}endluri and {A}lex
	{Y}iu},
  title = {{W}eb {S}ervices {B}usiness {P}rocess {E}xecution {L}anguage {V}ersion
	2.0, {C}ommittee {D}raft, 21 {D}ecember 2005, {TC} {OASIS}},
  url = {http://www.oasis-open.org/committees/download.php/12791}
}

@PHDTHESIS{arnould96,
  author = {{A}gns {A}rnould},
  title = {{T}est partir de spcifications de structures bornes: une thorie du
	test, une mthode de slection, un outil d'assistance la slection},
  school = {Universit d'Evry},
  year = {1996}
}

@MISC{paradigmp,
  author = {{C}omputer {A}ssociates},
  title = {{P}aradigm {P}lus},
  note = {\url{http://ca.com/products}}
}

@MISC{modelica,
  author = {{T}he {M}odelica {A}ssociation},
  title = {{M}odelica publications},
  note = {http://www.modelica.org/publications}
}

@MISC{atl_web,
  author = {{ATLAS}, {G}roup},
  title = {{ATLAS} {T}ransformation {L}anguage},
  year = {2008},
  note = {\url{http://www.eclipse.org/m2m/atl/}},
  date-added = {2008-02-26 00:48:53 +0100},
  date-modified = {2008-02-26 00:49:53 +0100},
  keywords = {ATL, Transformation Languages, QVT}
}

@INPROCEEDINGS{EWMT05b,
  author = {{J}ean {B}\'ezivin and {F}r\'ed\'eric {J}ouault and {J}ean {P}ali\`es},
  title = {{T}owards {M}odel {T}ransformation {D}esign {P}atterns},
  booktitle = {{P}roceedings of the {F}irst {E}uropean {W}orkshop on {M}odel {T}ransformation
	({EWMT} 2005)},
  year = {2005},
  url = {http://www.sciences.univ-nantes.fr/lina/atl/www/papers/DesignPatterns05.pdf}
}

@INPROCEEDINGS{conf/ecmdafa/BarberoJGB07,
  author = {{M}ika{\"e}l {B}arbero and {F}r{\'e}d{\'e}ric {J}ouault and {J}eff
	{G}ray and {J}ean {B}{\'e}zivin},
  title = {{A} {P}ractical {A}pproach to {M}odel {E}xtension.},
  booktitle = {{ECMDA}-{FA}},
  year = {2007},
  editor = {David H. Akehurst and R{\'e}gis Vogel and Richard F. Paige},
  volume = {4530},
  series = {Lecture Notes in Computer Science},
  pages = {32-42},
  publisher = {Springer},
  bdsk-url-1 = {http://dblp.uni-trier.de/db/conf/ecmdafa/ecmdafa2007.html#BarberoJGB07},
  date = {2007-06-29},
  date-added = {2008-04-21 11:32:12 +0200},
  date-modified = {2008-04-21 11:32:40 +0200},
  description = {dblp},
  ee = {http://dx.doi.org/10.1007/978-3-540-72901-3_3},
  isbn = {978-3-540-72900-6},
  keywords = {Metamodel Composition},
  url = {http://dblp.uni-trier.de/db/conf/ecmdafa/ecmdafa2007.html#BarberoJGB07}
}

@PHDTHESIS{Barbey97,
  author = {{S}t\'ephane {B}arbey},
  title = {{T}est {S}election for {S}pecification-{B}ased {U}nit {T}esting of
	{O}bject-{O}riented {S}oftware {B}ased on {F}ormal {S}pecifications},
  school = {EPFL - Switzerland},
  year = {1997}
}

@INPROCEEDINGS{Barbey:94:TAADTFS,
  author = {{S}tphane {B}arbey and {D}idier {B}uchs},
  title = {{T}esting of {A}da {A}bstract {D}ata {T}ypes using {F}ormal {S}pecifications},
  booktitle = {{E}urospace {A}da {E}urope '94 {S}ymposium {P}roceedings},
  year = {1994},
  editor = {Marcel Toussaint},
  number = {887},
  series = {Lecture Notes in Computer Science},
  pages = {76--89},
  address = {Copenhagen, Danemark},
  month = sep # { 26-30},
  publisher = {Springer Verlag},
  note = {Also available as Tech. Report (EPFL-DI-LGL No 94/75)},
  abstract = {The purpose of this paper is to present an experiment with formal
	methods for the black-box testing of reusable abstract data types
	(ADTs). We propose to test a family of software components by re-engineering
	a formal specification from an existing Ada implementation, using
	algebraic specifications. From this well-defined basis, we generate
	test sets automatically, by constructing an exhaustive set of formulae
	that prove the property preservations of a program with respect to
	its specifications, and by reducing this set to a finite size by
	applying reduction hypotheses. Once the selection of a finite test
	set has been performed, we show how to build the oracle, the decision
	procedure for the success or the failure of a test set. Finally,
	we discuss the advantages of test sets generated from the formal
	specification over those defined by a programmer, based on his intuitive
	understanding of the behavior of the ADT. (for the slides, see ftp://pub/Papers/testing_adt-slides.ps)},
  keywords = {Paper, Ada, Testing, Conform},
  signature = {lglftp.epfl.ch:pub/Papers/barbey-testing_adt-TR95-75.ps}
}

@TECHREPORT{Barbey:96:ATSBTOOS,
  author = {{S}tphane {B}arbey and {D}idier {B}uchs and {C}cile {P}raire},
  title = {{A} {T}heory of {S}pecification-{B}ased {T}esting for {O}bject-{O}riented
	{S}oftware},
  institution = {EPFL-DI-LGL},
  year = {1996},
  number = {96/163},
  month = jan,
  abstract = {The current strategies for testing object-oriented software all lack
	the formal basis which is necessary to preform this task efficiently.
	We propose the adaptation to object-oriented software of an existing
	theory of testing for stateless ADTs, to find errors in a class by
	checking that its implementation meets its specification. We present
	shortly in an informal way an object-oriented language, CO-OPN/2,
	in which language we will write the specification. We introduce a
	notion of test that takes into account the possible and impossible
	sequences of call of class methods. We examine the black-box test
	procedure, and give techniques to select a finite and pertinent test
	set from an exhaustive test set, including all the possible behaviours
	of the class under test, by applying test reduction hypothesis. We
	also study the construction of an oracle, the procedure that analyse
	the results of the tests, adapted to object-oriented software. Finally,
	we give some hints on how to satisfy to the economics of testing
	in the case of polymorphism and inheritance, and on an operational
	technique for the automatic tests selection.},
  keywords = {Paper, Testing, Conform},
  source = {authors},
  url = {lglftp.epfl.ch:pub/Papers/barbey-report96.ps}
}

@INPROCEEDINGS{Barbey:96:ATSBTOOSLNCS,
  author = {{S}tphane {B}arbey and {D}idier {B}uchs and {C}cile {P}raire},
  title = {{A} {T}heory of {S}pecification-{B}ased {T}esting for {O}bject-{O}riented
	{S}oftware},
  booktitle = {{P}roceedings of {EDCC}2 ({E}uropean {D}ependable {C}omputing {C}onference)},
  year = {1996},
  series = {LNCS (Lecture Notes in Computer Science)},
  address = {Taormina, Italy},
  month = oct,
  publisher = {Springer Verlag},
  note = {Also available as Tech. Report (EPFL-DI-LGL No 96/163)},
  abstract = {The current strategies for testing object-oriented software all lack
	the formal basis which is necessary to perform this task efficiently.
	We propose the adaptation to object-oriented software of an existing
	theory of testing for stateless ADTs, to find errors in a class by
	checking that its implementation meets its specification. We present
	shortly in an informal way an object-oriented language, CO-OPN/2,
	in which language we will write the specification. We introduce a
	notion of test that takes into account the possible and impossible
	sequences of call of class methods. We examine the black-box test
	procedure, and give techniques to select a finite and pertinent test
	set from an exhaustive test set, including all the possible behaviors
	of the class under test, by applying test reduction hypothesis. We
	also study the construction of an oracle, the procedure that analyses
	the results of the tests, adapted to object-oriented software.},
  institution = {EPFL-DI-LGL},
  keywords = {Paper, Testing, Conform},
  url = {lglftp.epfl.ch:pub/Papers/barbey-edcc2-96.ps}
}

@TECHREPORT{Barbey98,
  author = {{S}t{\'e}phane {B}arbey and {D}idier {B}uchs and {C}{\'e}cile {P}{\'e}raire},
  title = {{M}odelling the {P}roduction {C}ell {C}ase {S}tudy using the {F}usion
	{M}ethod},
  institution = {EPFL-DI},
  year = {1998},
  number = {98/298}
}

@INPROCEEDINGS{pe:ba:bu:96,
  author = {{S}t{\'e}phane {B}arbey and {D}idier {B}uchs and {C}{\'e}cile {P}{\'e}raire},
  title = {{A} {T}heory of {S}pecification-{B}ased {T}esting for {O}bject-{O}riented
	{S}oftware.},
  booktitle = {{EDCC}},
  year = {1996},
  pages = {303-320}
}

@INPROCEEDINGS{DBLP:conf/fates/BarnettGNSTV03,
  author = {{M}ichael {B}arnett and {W}olfgang {G}rieskamp and {L}ev {N}achmanson
	and {W}olfram {S}chulte and {N}ikolai {T}illmann and {M}argus {V}eanes},
  title = {{T}owards a {T}ool {E}nvironment for {M}odel-{B}ased {T}esting with
	{A}sm{L}.},
  booktitle = {{FATES}},
  year = {2003},
  pages = {252-266},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2931{\&}spage=252}
}

@TECHREPORT{barrocasurvey2006,
  author = {{B}runo {B}arroca},
  title = {{R}apid prototyping of user interfaces for control systems: a survey},
  institution = {Universidade Nova de Lisboa},
  year = {2006},
  note = {\url {http://smv.unige.ch/tiki-index.php?page=TechReports}}
}

@INPROCEEDINGS{HALL:2007,
  author = {{B}runo {B}arroca and {V}asco {A}maral},
  title = {({H}){ALL}: a {DSVL} for designing user interfaces for {C}ontrol
	{S}ystems},
  booktitle = {{P}roceedings of the 5th {N}ordic {W}orkshop on {M}odel {D}riven
	{E}ngineering {NW}-{M}o{DE}},
  year = {2007},
  address = {Ronneby, Sweden},
  publisher = {Blekinge Institute of Technology}
}

@INPROCEEDINGS{Bastide:97:MFMOODC,
  author = {{R}emi {B}astide and {D}idier {B}uchs},
  title = {{M}odels, {F}ormalisms and {M}ethods for {O}bject {O}riented {D}idtributed
	{C}omputing},
  booktitle = {{W}orkshop {R}eader, {ECOOP} {C}onference 1997 },
  year = {1997},
  editor = {Stuart Mitchell and Jan Bosch},
  volume = {1357},
  series = {Lecture Notes in Computer Science},
  pages = {221--255},
  month = jun,
  publisher = {Springer Verlag},
  keywords = {Conform}
}

@INPROCEEDINGS{DBLP:conf/pts/BelinfanteFVTGFMH99,
  author = {{A}xel {B}elinfante and {J}an {F}eenstra and {R}en{\'e} {G}. de {V}ries
	and {J}an {T}retmans and {N}icolae {G}oga and {L}oe {M}. {G}. {F}eijs
	and {S}jouke {M}auw and {L}ex {H}eerink},
  title = {{F}ormal {T}est {A}utomation: {A} {S}imple {E}xperiment},
  booktitle = {{IWTCS}},
  year = {1999},
  pages = {179-196}
}

@TECHREPORT{Bell:Lapadula:73,
  author = {{D}avid {E}lliot {B}ell and {L}eonard {L}a{P}adula},
  title = {{S}ecure {C}omputer {S}ystems: {M}athematical {F}oundations},
  institution = {The \textsc{Mitre} Corp.},
  year = {1973}
}

@INPROCEEDINGS{DBLP:conf/compos/BerezinCC97,
  author = {{S}ergey {B}erezin and {S}{\'e}rgio {V}ale {A}guiar {C}ampos and
	{E}dmund {M}. {C}larke},
  title = {{C}ompositional {R}easoning in {M}odel {C}hecking},
  booktitle = {{COMPOS}},
  year = {1997},
  pages = {81-102},
  ee = {http://link.springer.de/link/service/series/0558/bibs/1536/15360081.htm}
}

@INPROCEEDINGS{berlizev:cora,
  author = {{A}ndrey {B}erlizev and {N}icolas {G}uelfi},
  title = {{E}ngineering {F}ault-tolerance {R}equirements using {D}eviations
	and the {FIDJI} {M}ethodology},
  booktitle = {{P}roceedings of the {W}orkshop on {M}ethods, {M}odels and {T}ools
	for {F}ault {T}olerance},
  year = {2007},
  month = {June},
  date-added = {2008-02-29 11:16:03 +0100},
  date-modified = {2008-02-29 11:18:21 +0100},
  keywords = {CORA}
}

@INPROCEEDINGS{Ber91,
  author = {{G}illes {B}ernot},
  title = {{T}esting {A}gainst {F}ormal {S}pecifications: {A} {T}heoretical
	{V}iew},
  booktitle = {{TAPSOFT} '91: {P}roceedings of the {I}nternational {J}oint {C}onference
	on {T}heory and {P}ractice of {S}oftware {D}evelopment, {V}olume
	2: {A}dvances in {D}istributed {C}omputing ({ADC}) and {C}olloquium
	on {C}ombining {P}aradigms for {S}oftware {D}evelopmemnt ({CCPSD})},
  year = {1991},
  pages = {99--119},
  address = {London, UK},
  publisher = {Springer-Verlag},
  isbn = {3-540-53981-6}
}

@INPROCEEDINGS{DBLP:conf/tapsoft/Bernot91,
  author = {{G}illes {B}ernot},
  title = {{T}esting {A}gainst {F}ormal {S}pecifications: {A} {T}heoretical
	{V}iew},
  booktitle = {{TAPSOFT}, {V}ol.2},
  year = {1991},
  pages = {99-119}
}

@ARTICLE{gaud:marr,
  author = {{G}. {B}ernot and {M}.-{C}. {G}audel and {B}. {M}arre},
  title = {{S}oftware {T}esting {B}ased on {F}ormal {S}pecifications: a {T}heory
	and a {T}ool},
  journal = {{IEEE} {S}oftware {E}ngineering {J}ournal},
  year = {1991},
  volume = {6},
  pages = {387-405},
  number = {6}
}

@PHDTHESIS{Biberstein:97:CAOOFS,
  author = {{O}livier {B}iberstein},
  title = {{CO}-{OPN}/2: {A}n {O}bject-{O}riented {F}ormalism for the {S}pecification
	of {C}oncurrent {S}ystems},
  school = {University of Geneva},
  year = {1997}
}

@PHDTHESIS{Biberstein:97:CAOOFSCS,
  author = {{O}livier {B}iberstein},
  title = {{CO}-{OPN}/2: {A}n {O}bject-{O}riented {F}ormalism for the {S}pecification
	of {C}oncurrent {S}ystems},
  school = {University of Geneva},
  year = {1997},
  month = jul,
  note = {To appear},
  abstract = {not yet available},
  source = {author},
  url = {not yet available}
}

@MASTERSTHESIS{Biberstein:92:MLATIMM,
  author = {{O}livier {B}iberstein},
  title = {{MOA}, un langage applicatif avec tableaux, et son implantation sur
	machine {MIMD}},
  school = {Universit of Genve/Universit de Montral},
  year = {1992},
  month = jul
}

@INPROCEEDINGS{Biberstein95a,
  author = {{O}livier {B}iberstein and {D}idier {B}uchs},
  title = {{S}tructured {A}lgebraic {N}ets with {O}bject-{O}rientation},
  booktitle = {{W}orkshop on {O}bject-{O}riented {P}rogramming and {M}odels of {C}oncurrency'95},
  year = {1995},
  editor = {G. Agha and F. de Cindio},
  pages = {131--145},
  note = {Turin},
  abstract = {Not available},
  keywords = {Conform}
}

@INPROCEEDINGS{Biberstein:94:AOOSLHAPN,
  author = {{O}livier {B}iberstein and {D}idier {B}uchs},
  title = {{A}n {O}bject-{O}riented {S}pecification {L}anguage {B}ased on {H}ierarchical
	{A}lgebraic {P}etri {N}ets},
  booktitle = {{W}orking papers of the international {W}orkshop on {I}nformation
	{S}ystem {C}orrectness and {R}eusability {IS}-{CORE}'94},
  year = {1994},
  editor = {R. Wieringa and R. Feenstra},
  pages = {47--62},
  address = {Amsterdam, The Netherlands},
  month = sep,
  organization = {vrije University},
  note = {Also available as Tech. Report (EPFL-DI-LGL No 94/76)},
  abstract = {During the last few years there has been significant interest in combining
	the benefits of an object-oriented approach with Petri net formalism
	which is suitable to modelling and simulation of concurrent systems.
	Nevertheless, for modelling some system behaviour dynamic creation
	of new components is often needed. In this paper we introduce a formalism
	based on algebraic Petri nets using the object-orientation paradigm.
	Object classes are specified by means of algebraic Petri nets, synchronization
	expressions link the class instances and static as well as dynamic
	creation of objects is allowed. Inheritance and subtyping are considered
	as two different mechanisms. Inheritance is viewed as a duplication
	mechanism while subtyping is considered at a semantic level as a
	relation between models. The order-sorted algebras framework captures
	the subtyping notion between the objects which are identified by
	order-sorted values. Language semantics is defined through distributed
	transition systems over the models of algebraic specification.},
  keywords = {Conform},
  source = {authors},
  url = { }
}

@INPROCEEDINGS{Biberstein:95:COOSAN,
  author = {{O}livier {B}iberstein and {D}idier {B}uchs},
  title = {{C}oncurrency and {O}bject-{O}rientation with {S}tructured {A}lgebraic
	{N}ets},
  booktitle = {{IS}-{CORE} {W}orkshop},
  year = {1995},
  pages = {73--75},
  address = {Evry},
  month = sep,
  abstract = {Not Available},
  keywords = {Conform},
  signature = {lglftp.epfl.ch:pub/Papers/biber-t2.ps}
}

@INPROCEEDINGS{Biberstein:95:SANOO,
  author = {{O}livier {B}iberstein and {D}idier {B}uchs},
  title = {{S}tructured {A}lgebraic {N}ets with {O}bject-{O}rientation},
  booktitle = {{P}roceedings of the first international workshop on ``{O}bject-{O}riented
	{P}rogramming and {M}odels of {C}oncurrency'' within the 16th {I}nternational
	{C}onference on {A}pplication and {T}heory of {P}etri {N}ets},
  year = {1995},
  address = {Torino, Italy},
  month = jun # { 26-30},
  abstract = {The aim of this paper is to briefly introduce the Concurrent Object-Oriented
	Petri Net specification language CO-OPN/2 which has overcome some
	limitations of its object-based ancestor CO-OPN. Classes are described
	by means of algebraic nets in which places play the role of attributes,
	and methods function as external parameterized transitions. Inheritance
	and sub-typing are distinguished, with the former considered as a
	mechanism for reuse while the later is viewed on a semantic level,
	based on the substitutability principle with respect to the behavior
	of the objects. As in the CO-OPN language, cooperation between the
	objects is achieved by means of synchronization expressions which
	allow the designer to select object interaction policies.},
  keywords = {Conform},
  source = {authors}
}

@TECHREPORT{Biberstein:94:CAOOSLBHAN,
  author = {{O}livier {B}iberstein and {D}idier {B}uchs},
  title = {{CO-OPN/2} {An} {O}bject-{O}riented {S}pecification {L}anguage {B}ased
	on {H}ierarchical {A}lgebraic {N}ets},
  institution = {Swiss Federal Institute of Technology (EPFL), Software Engineering
	Laboratory},
  year = {1994},
  type = {Tech. Report},
  number = {94/76},
  abstract = {During the last few years there has been significant interest in combining
	the benefits of an object-oriented approach with Petri net formalism
	which is suitable to modelling and simulation of concurrent systems.
	Nevertheless, for modelling some system behaviour dynamic creation
	of new components is often needed. In this paper we introduce a formalism
	based on algebraic Petri nets using the object-orientation paradigm.
	Object classes are specified by means of algebraic Petri nets, synchronization
	expressions link the class instances and static as well as dynamic
	creation of objects is allowed. Inheritance and subtyping are considered
	as two different mechanisms. Inheritance is viewed as a duplication
	mechanism while subtyping is considered at a semantic level as a
	relation between models. The order-sorted algebras framework captures
	the subtyping notion between the objects which are identified by
	order-sorted values. Language semantics is defined through distributed
	transition systems over the models of algebraic specification.},
  keywords = {Conform},
  source = {authors},
  url = { }
}

@TECHREPORT{BBB95,
  author = {{O}. {B}iberstein and {D}. {B}uchs and {C}. {B}uffard and {M}. {B}uffo
	and {J}. {F}lumet and {J}. {H}ulaas and {G}. {D}i{M}arzo and {P}.
	{R}acloz},
  title = {{SANDS}1.5/{CO}-{OPN}1.5, {A}n overview of the language and its supporting
	tools},
  institution = {Swiss Federal Institute of Technology (EPFL)},
  year = {June 1995},
  number = {95/133}
}

@TECHREPORT{Biberstein:95:SCAOLST,
  author = {{O}. {B}iberstein and {D}. {B}uchs and {C}. {B}uffard and {M}. {B}uffo
	and {J}. {F}lumet and {J}. {H}ulaas and {G}. {D}i {M}arzo and {P}.
	{R}acloz},
  title = {{SANDS1.5/CO-OPN1.5}, {A}n {O}verview of the {L}anguage and its {S}upporting
	{T}ools},
  institution = {Swiss Federal Institute of Technology (EPFL), Software Engineering
	Laboratory},
  year = {1995},
  type = {Tech. Report},
  number = {95/133},
  address = {Lausanne, Switzerland},
  month = jun,
  abstract = {In this document we give an overview of the CO-OPN/1.5 (Concurrent
	Object-Oriented Petri Nets) specification language and describe the
	features of each tool provided in the SANDS/1.5 (Structured Algebraic
	Net Development System) development environment. The CO-OPN/1.5 language
	is a specification language devised to support the development of
	large concurrent systems. The underlying formalisms of the language
	are algebraic specifications and Petri nets in which tokens correspond
	to algebraic values. Furthermore, in order to deal with large specifications,
	some structuring principles have been introduced and in particular,
	object-orientation paradigm has been adopted for the Petri nets.
	This means that a CO-OPN/1.5 specification is a collection of objects
	which interact concurrently. Interaction between the objects is achieved
	by means of synchronization expressions which allow the designer
	to select the object interaction policies. The development system
	provides many different tools such as a syntax checker, a simulator,
	a property verifier based on temporal logic, a graphic editor, a
	transformation tool supporting the derivation of specifications,
	an Ada translator which allows to analyze Ada programs in the CO-OPN/1.5
	framework, and a MIMD compiler.},
  source = {authors},
  url = { }
}

@INCOLLECTION{Biberstein:97:OONASCF,
  author = {{O}livier {B}iberstein and {D}idier {B}uchs and {N}icolas {G}uelfi},
  title = {{O}bject-{O}riented {N}ets with {A}lgebraic {S}pecifications: {T}he
	{CO-OPN/2} formalism},
  booktitle = {{A}dvances in {P}etri {N}ets on {O}bject-{O}rientation},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {G. Agha and F. De Cindio},
  series = {Lecture Notes in Computer Science},
  note = {To appear},
  source = {authors}
}

@INPROCEEDINGS{Biberstein:01:OONWAS,
  author = {{O}livier {B}iberstein and {D}idier {B}uchs and {N}icolas {G}uelfi},
  title = {{O}bject-{O}riented {N}ets with {A}lgebraic {S}pecifications: {T}he
	{CO-OPN/2} {F}ormalism},
  booktitle = {{A}dvances in {P}etri {N}ets on {O}bject-{O}rientation},
  year = {2001},
  editor = {G. Agha and F. De Cindio and G. Rozenberg},
  series = {LNCS},
  pages = {70-127},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{Biberstein:96:AMCEUC,
  author = {{O}livier {B}iberstein and {D}idier {B}uchs and {N}icolas {G}uelfi},
  title = {{A} {M}odeling of {C}ooperative {E}ditors {U}sing {CO-OPN/2}},
  booktitle = {{P}roceedings of the second international workshop on ``{O}bject-{O}riented
	{P}rogramming and {M}odels of {C}oncurrency'' within the 16th {I}nternational
	{C}onference on {A}pplication and {T}heory of {P}etri {N}ets},
  year = {1996},
  editor = {G. Agha and F. De Cindio and A. Yonezawa},
  pages = {25--42},
  address = {Osaka, Japan},
  month = jun # { 24},
  abstract = {In this paper we describe how to use the CO-OPN/2 (Concurrent Object-Oriented
	Petri Net) formalism, by developing a case study on groupware or,
	more specifically, on a cooperative editor of hierarchical diagrams.
	First of all, we present CO-OPN/2 and describe how some aspects specific
	to object orientation, such as the notions of class/object, of object
	reference and of the distinction between inheritance and sub-typing,
	are taken into account within the formalism. Afterwards, we show
	how these notions may be used for the modeling and the design of
	an editor of hierarchical Petri nets and discuss some points related
	to the concurrency. Finally, we show how flexible our modeling architecture
	is by giving some insight into to the design of other kinds of cooperative
	diagram editors.},
  source = {authors},
  url = { }
}

@INPROCEEDINGS{Biberstein1997,
  author = {{O}livier {B}iberstein and {D}idier {B}uchs and {N}icolas {G}uelfi},
  title = {{CO-OPN/2}: {A} {C}oncurrent {O}bject-{O}riented {F}ormalism},
  booktitle = {{P}roc. {S}econd {IFIP} {C}onf. on {F}ormal {M}ethods for {O}pen
	{O}bject-{B}ased {D}istributed {S}ystems ({FMOODS}), {C}anterbury,
	{UK}, {J}uly 21-23 1997},
  year = {1997},
  pages = {57--72},
  publisher = {Chapman and Hall, Lo}
}

@INPROCEEDINGS{Biberstein:97:CCOOF,
  author = {{O}livier {B}iberstein and {D}idier {B}uchs and {N}icolas {G}uelfi},
  title = {{CO-OPN/2}: {A} {C}oncurrent {O}bject-{O}riented {F}ormalism},
  booktitle = {{P}roc. {S}econd {IFIP} {C}onf. on {F}ormal {M}ethods for {O}pen
	{O}bject-{B}ased {D}istributed {S}ystems ({FMOODS})},
  year = {1997},
  pages = {57--72},
  address = {Canterbury ,UK},
  month = mar,
  publisher = {Chapman and Hall, London},
  date = {21st-23rd July}
}

@TECHREPORT{Biberstein:96:CAMCSE,
  author = {{O}livier {B}iberstein and {D}idier {B}uchs and {N}icolas {G}uelfi},
  title = {{CO-OPN/2} {A}pplied to the {M}odeling of {C}ooperative {S}tructured
	{E}ditors},
  institution = {Swiss Federal Institute of Technology (EPFL), Software Engineering
	Laboratory},
  year = {1996},
  type = {Tech. Report},
  number = {96/184},
  address = {Lausanne, Switzerland},
  abstract = {not available},
  source = {authors},
  url = {not available}
}

@TECHREPORT{Biberstein:96:CASLDSE,
  author = {{O}livier {B}iberstein and {D}idier {B}uchs and {N}icolas {G}uelfi},
  title = {{CO-OPN}/2 : {A} {S}pecification {L}anguage for {D}istributed {S}ystems
	{E}ngineering},
  institution = {Swiss Federal Institute of Technology (EPFL), Software Engineering
	Laboratory},
  year = {1996},
  type = {Tech. Report},
  number = {96/167},
  address = {Lausanne, Switzerland},
  abstract = {In this article we present the concurrent object-oriented specification
	language {CO-OPN/2} which extends the {CO-OPN} (Concurrent Object
	Oriented Petri Nets) formalism, destined to support the development
	of large heterogenous distributed systems. The development of distributed
	applications has recently been the subject of intensive research,
	due to potential benefits that can be expected to offer in increasing
	reliability and overall performance of computer processing. One way
	of improving the effectiveness of the distributed system construction
	is to adopt a rigorous approach for system development, based on
	structuring principles. The {CO-OPN/2} approach proposes a specification
	language, based on the object-oriented paradigm, which includes a
	fine description of true concurrent behaviors. This hybrid approach
	(model and property-oriented) allows for a description of the concurrent
	aspects through the use of a high-level Petri nets formalism which
	includes data structures expressed with the algebraic abstract data
	types and a synchronization mechanism for building hierarchies of
	abstraction. This latter notion is the concept which is used in structuring
	applications. Interesting properties of {CO-OPN}, such as the progressive
	refinement of specifications, allow for the building of systems in
	an incremental manner.In this article, we introduce CO-OPN/2 informally,
	by means of a typical example of distributed systems, the transit
	node, in order to introduce each useful and innovative mechanism
	of the language. Then , in the context of distributed software engineering
	with CO-OPN/2, we present our current works done in order to provide
	formal methods for several steps of a life cycle model test, prototyping,
	analysis, etc.).},
  keywords = {software engineering, formal specification language, refinement, prototyping,
	distributed systems, object orientation, concurrency, Petri nets,
	algebraic specification.},
  url = {lglftp.epfl.ch:pub/Papers/biber-TR96-167.ps}
}

@INPROCEEDINGS{Biberstein:96:UCFMGAE,
  author = {{O}livier {B}iberstein and {D}idier {B}uchs and {N}icolas {G}uelfi},
  title = {{U}sing the {CO-OPN/2} {F}ormal {M}ethod for {G}roupware {A}pplications
	{E}ngineering},
  booktitle = {{P}roceedings of the {IMACS}-{IEEE}-{SMC} conference on {C}omputational
	{E}ngineering in {S}ystems {A}pplication ({CESA}'96)},
  year = {1996},
  address = {Lille, France},
  month = jul,
  note = {Also available as Tech. Report (EPFL-DI-LGL No 96/187)},
  abstract = {CO-OPN/2 (Concurrent Object Oriented Petri Nets) is an object-oriented
	specification formalism based on Petri Nets and algebraic specifications.
	It is fully adapted to the specification of complex concurrent systems
	because it inherits the advantages of algebraic specifications for
	the specification of abstract data types, from Petri nets to describe
	partially ordered events and from the object-oriented paradigm for
	the 'structuring' of the specification. All these features are especially
	useful when speaking about groupware systems, which are application
	which demand rich modeling capabilities on concurrency and structuring.
	This paper explains the major principles for the specification of
	groupware systems with CO-OPN/2. This is done by mapping groupware
	concepts into CO-OPN/2 concepts and is demonstrated by means of an
	example of shared distributed diaries. Furthermore, we present the
	work done on the methodological approach for the development of concurrent
	object-oriented systems with CO-OPN/2 which cover analysis, specification,
	design, prototyping and testing. groupware, replication, object-orientation,
	distributed systems, formal methods, Petri Nets, algebraic specification
	of abstract data types, software engineering.},
  keywords = {groupware, replication, object-orientation, distributed systems, formal
	methods, Petri Nets, algebraic specification of abstract data types,
	software engineering},
  source = {authors},
  url = {lglftp.epfl.ch:pub/Papers/biber-CESA_96.ps}
}

@INPROCEEDINGS{dsl:lutz,
  author = {{L}utz {B}ichler},
  title = {{T}ool {S}upport for {G}enerating {I}mplementations of {MOF}-based
	{M}odeling {L}anguages},
  booktitle = {{P}roceedings of the 3th {OOPSLA} {W}orkshop on {D}omain-{S}pecific
	{M}odeling},
  year = {2003}
}

@BOOK{Bidoit:2004:CASL-UM,
  title = {{C}asl {U}ser {M}anual},
  publisher = {Springer},
  year = {2004},
  author = {{M}ichel {B}idoit and {P}eter {D}. {M}osses},
  series = {LNCS 2900 (IFIP Series)},
  note = {With chapters by T. Mossakowski, D. Sannella, and A. Tarlecki}
}

@BOOK{zBook,
  title = {{T}he {Z} {N}otation: {A} {R}eference {M}anual},
  publisher = {Prentice-Hall},
  year = {1992},
  author = {{M}ichel {B}idoit and {P}eter {D}. {M}osses}
}

@INPROCEEDINGS{emftrans1,
  author = {{E}nrico {B}iermann and {C}laudia {E}rmel and {G}abriele {T}aentzer},
  title = {{P}recise {S}emantics of {EMF} {M}odel {T}ransformations by {G}raph
	{T}ransformation},
  booktitle = {{MODELS}'08: {P}roceedings of {ACM}/{IEEE} 11th {I}nternational {C}onference
	on {M}odel {D}riven {E}ngineering {L}anguages and {S}ystems},
  year = {2008},
  pages = {53-67},
  address = {Berlin, Germany},
  publisher = {Springer},
  isbn = {978-3-540-87874-2},
  location = {Toulouse, France}
}

@CONFERENCE{BGL2005,
  author = {{J}an {O}laf {B}lech and {S}abine {G}lesner and {J}ohannes {L}eitner},
  title = {{F}ormal {V}erification of {J}ava {C}ode {G}eneration from {UML}
	{M}odels},
  year = {2005},
  month = {september},
  publisher = {Fujaba Days},
  abstract = {UML specifications offer the advantage to describe software systems
	while the actual task of implementing code for them is passed to
	code generators that automatically produce e.g.~Java code. For safety
	reasons, it is necessary that the generated code is semantically
	equivalent to the original UML specification. In this paper, we present
	our approach to formally verify within the Isabelle/HOL theorem prover
	that a certain algorithm for Java code generation from UML specifications
	is semantically correct. This proof is part of more extensive ongoing
	work aiming to verify UML transformations and code generation within
	the Fujaba tool suite. }
}

@INPROCEEDINGS{DBLP:conf/uml/BogerJMF02,
  author = {{M}arko {B}oger and {M}ario {J}eckle and {S}tefan {M}ueller and {J}ens
	{F}ransson},
  title = {{D}iagram {I}nterchange for {UML}.},
  booktitle = {{UML}},
  year = {2002},
  pages = {398-411}
}

@BOOK{brj98,
  title = {{T}he {U}nified {M}odeling {L}anguage user guide},
  publisher = {Addison Wesley Longman Publishing Co., Inc.},
  year = {1999},
  author = {{G}rady {B}ooch and {J}ames {R}umbaugh and {I}var {J}acobson},
  address = {Redwood City, CA, USA},
  isbn = {0-201-57168-4}
}

@MISC{togetherarchitect,
  author = {{B}orland},
  title = {{B}orland{\textregistered} {T}ogether - {V}isual {M}odeling for {S}oftware
	{A}rchitecture {D}esign},
  note = {\url{http://www.borland.com/us/products/together/index.html}},
  date-added = {2008-02-26 00:10:09 +0100},
  date-modified = {2008-02-26 00:28:55 +0100},
  keywords = {MDA Case Tools, QVTTools, UML Case Tools},
  url = {http://www.borland.com/us/products/together/index.html}
}

@INPROCEEDINGS{DBLP:conf/jfplc/BouquetLPP00,
  author = {{F}abrice {B}ouquet and {B}runo {L}egeard and {F}abien {P}eureux
	and {L}aurent {P}y},
  title = {{U}n syst{\`e}me de r{\'e}solution de contraintes ensemblistes pour
	l'{\'e}valuation de sp{\'e}cifications {B}.},
  booktitle = {{JFPLC}},
  year = {2000},
  pages = {125-144}
}

@BOOK{brams83a,
  title = {{R}\'eseaux de {P}etri: th\'eorie e pratique - {T}ome 1: {T}h\'eorie
	et analyse},
  publisher = {Masson},
  year = {1983},
  author = {{G}.{W}. {B}rams}
}

@BOOK{brams83b,
  title = {{R}\'eseaux de {P}etri: th\'eorie e pratique - {T}ome 2: {M}od\'elisation
	et applications},
  publisher = {Masson},
  year = {1983},
  author = {{G}.{W}. {B}rams}
}

@INPROCEEDINGS{Brucker02aproposal,
  author = {{A}chim {D}. {B}rucker and {B}urkhart {W}ol},
  title = {{A} proposal for a formal {OCL} semantics in {I}sabelle/{HOL}},
  booktitle = {{T}heorem {P}roving in {H}igher {O}rder {L}ogics, {LNCS} 2410},
  year = {2002},
  pages = {99--114},
  publisher = {Springer}
}

@INPROCEEDINGS{bryant86graphbased,
  author = {{R}. {B}ryant},
  title = {{G}raph-based algorithms for boolean function manipulation},
  booktitle = {{T}ransactions on {C}omputers, {C}-35},
  year = {1986},
  pages = {677-691},
  publisher = {IEEE},
  text = {R. Bryant. Graph-based algorithms for boolean function manipulation.
	Transactions on Computers, C-35,},
  url = {citeseer.ifi.unizh.ch/bryant86graphbased.html}
}

@MISC{coursCD06,
  author = {{D}. {B}uchs},
  title = {{C}oncurrency and {D}istribution, {M}aster course 2006},
  text = {http://smv.unige.ch/tiki-index.php?page=Concurrency+and+Distributed+Systems}
}

@INPROCEEDINGS{buffo:buchs:04,
  author = {{D}idier {B}uchs and {M}athieu {B}uffo},
  title = {{A} {F}ormal {C}omponent-{O}riented {D}esign {L}anguage for {B}uilding
	{D}istributed {S}ystem},
  booktitle = {{W}orkshop on {P}etri {N}ets and {C}oordination},
  year = {2004},
  pages = {1-20},
  month = {June}
}

@INPROCEEDINGS{Buchs:94:STEDPP,
  author = {{D}idier {B}uchs and {M}athieu {B}uffo and {J}acques {F}lumet and
	{P}ascal {R}acloz and {E}rik {U}rland},
  title = {{SANDS} {T}ools : an environment for deriving parallel programs},
  booktitle = {{P}roceedings of {CASE} {T}ools {W}orkshop of the {W}orld {T}ransputer
	{C}ongress 1994},
  year = {1994},
  editor = {Innes Jelly and Ian Gorton},
  address = {Cernobbio, Italia},
  month = sep,
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buchs:94:STEDPP/paper.ps.gz}
}

@TECHREPORT{Buchs:00:OOMAC,
  author = {{D}idier {B}uchs and {M}athieu {B}uffo and {F}abrice {K}ordon},
  title = {{O}bject-{O}riented {M}odeling and {A}nalysis {C}apabilities},
  institution = {LIP6, Universite Pierre et Marie Curie},
  year = {2000},
  number = {2000/1},
  month = jan
}

@INPROCEEDINGS{Buchs:2003:MSMTSC/LGL,
  author = {{B}uchs, {D}idier and {C}hachkov, {S}tanislav and {H}urzeler, {D}avid},
  title = {{M}odelling a {S}ecure, {M}obile and {T}ransactional {S}ystem with
	{CO}-{OPN}},
  booktitle = {{P}roceedings of the {I}nternational {C}onference on {A}pplication
	of {C}oncurrency to {S}ystem {D}esign, {G}uimar\~aes, {P}ortugal},
  year = {2003},
  editor = {Lilius, Johan and Balarin, Felice and Machado, Ricard J.},
  pages = {82--91},
  publisher = {IEEE CS Press},
  note = {Also available as Technical Report IC/2003/14, Ecole Polytechnique
	F\'ed\'erale de Lausanne (EPFL), School of Computer and Communication
	Sciences},
  abstract = {Modelling complex concurrent systems is often difficult and error-prone,
	in particular when new concepts coming from advanced practical applications
	are considered. These new application domains include dynamicity,
	mobility, security, and localization dependent computing. In order
	to fully model and prototype such systems we propose to use several
	concepts introduced in our specification language CO-OPN, like context,
	dynamicity, mobility, subtyping and inheritance. CO-OPN (Concurrent
	Object Oriented Petri Net) is a formal specification language for
	modelling distributed systems; it is based on coordinated algebraic
	Petri nets. This paper focuses on the use of several basic mechanisms
	of CO-OPN for modelling mobile systems and the generation of corresponding
	Java code. A significant example of distributors accessible through
	mobile devices (for example, PDA with Bluetooth) is fully modelled
	and implemented with our technique.},
  details = {http://infoscience.epfl.ch/search.py?recid=54722},
  documenturl = {http://infoscience.epfl.ch/getfile.py?mode=best&recid=54722},
  keywords = {Conform},
  unit = {LGL}
}

@INPROCEEDINGS{buc:cha:hur:03,
  author = {{D}idier {B}uchs and {S}tanislav {C}hachkov and {D}avid {H}urzeler},
  title = {{M}odelling a {S}ecure, {M}obile, and {T}ransactional {S}ystem with
	{CO}-{OPN}},
  booktitle = {{ACSD} '03: {P}roceedings of the {T}hird {I}nternational {C}onference
	on {A}pplication of {C}oncurrency to {S}ystem {D}esign},
  year = {2003},
  pages = {82},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1887-7}
}

@ARTICLE{Buchs:02:CBSMEV,
  author = {{D}idier {B}uchs and {S}andro {C}osta and {D}avid {H}urzeler},
  title = {{C}omponent {B}ased {S}ystem {M}odelling for {E}asier {V}erification},
  journal = {{C}oncurrency in {D}ependable {C}omputing},
  year = {2002},
  pages = {61 - 86},
  editor = {P. Ezhilchevan and A. Romanovski},
  publisher = {Kluwer}
}

@INPROCEEDINGS{Buchs:93:SSANDS,
  author = {{D}idier {B}uchs and {J}acques {F}lumet and {P}ascal {R}acloz},
  title = {{SANDS}: {S}tructured {A}lgebraic {N}et {D}evelopment {S}ystem},
  booktitle = {14th {I}nternational {C}onference on {A}pplication and {T}heory of
	{P}etri {N}ets, {T}ool presentation abstracts},
  year = {1993},
  editor = {Buy Ugo},
  pages = {25--29},
  month = jun,
  organization = {Chicago, USA}
}

@INPROCEEDINGS{Buchs:93:FDAPUSAPN,
  author = {{D}idier {B}uchs and {N}icolas {G}uelfi},
  title = {{F}ormal {D}evelopment of {A}ctor {P}rograms {U}sing {S}tructured
	{A}lgebraic {P}etri {N}ets},
  booktitle = {{I}nt. {C}onference on parallel {A}rchitectures and {L}anguages {E}urope
	{PARLE'93}},
  year = {1993},
  editor = {Bode Arndt and Reeve Mike and Wolf Gottfried},
  volume = {694},
  series = {LNCS},
  pages = {353--366},
  month = jun,
  organization = {ECRC, Munich Germany},
  publisher = {Springer-Verlag},
  issn_isbn = {2-906082-14-7}
}

@INPROCEEDINGS{Buchs:91:COOPNA,
  author = {{D}idier {B}uchs and {N}icolas {G}uelfi},
  title = {{CO-OPN}: {A} {C}oncurrent {O}bject-{O}riented {P}etri {N}ets {A}pproach
	for system specification},
  booktitle = {12th {I}nternational {C}onference on {A}pplication and {T}heory of
	{P}etri {N}ets},
  year = {1991},
  editor = {M. Silva},
  pages = {432--454},
  address = {Aahrus, Denmark},
  month = jun
}

@ARTICLE{Buchs:00:FSFOODS,
  author = {{D}idier {B}uchs and {N}icolas {G}uelfi},
  title = {{A} {F}ormal {S}pecification {F}ramework for {O}bject-{O}riented
	{D}istributed {S}ystems},
  journal = {{IEEE} {T}ransactions on {S}oftware {E}ngineering},
  year = {2000},
  volume = {26},
  pages = {635-652},
  number = {7},
  month = {july}
}

@INPROCEEDINGS{BG91,
  author = {{D}idier {B}uchs and {N}icolasi {G}uelfi},
  title = {{A} {C}oncurrent {O}bject {O}riented {P}etri {N}ets {A}pproach for
	system specification},
  booktitle = {12th {I}nternational {C}onference on {A}pplication and {T}heory of
	{P}etri {N}ets},
  year = {1991},
  pages = {432-454}
}

@TECHREPORT{Buchs:90:CACOOPNM,
  author = {{D}idier {B}uchs and {N}icolas {G}uelfi},
  title = {{CO-OPN}: {A} {C}oncurrent {O}bject {O}riented {P}etri {N}ets {M}odel},
  institution = {University of Paris-Sud},
  year = {1990},
  type = {Rapports de Recherche, LRI},
  number = {616}
}

@INPROCEEDINGS{DBLP:conf/apn/BuchsHMR10,
  author = {{D}idier {B}uchs and {S}teve {H}ostettler and {A}lexis {M}arechal
	and {M}atteo {R}isoldi},
  title = {{A}l{P}i{NA}: {A} {S}ymbolic {M}odel {C}hecker},
  booktitle = {{P}etri {N}ets},
  year = {2010},
  volume = {6128},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer}
}

@INPROCEEDINGS{Buchs:96:EPHDSHAPN,
  author = {{D}idier {B}uchs and {J}arle {H}ulaas},
  title = {{E}volutive {P}rototyping of {H}eterogeneous {D}istributed {S}ystems
	using {H}ierarchical {A}lgebraic {P}etri {N}ets},
  booktitle = {{P}roceedings of the {I}nternational {C}onference on {S}ystems, {M}an
	and {C}ybernetics},
  year = {1996},
  address = {Beijing, China},
  month = oct,
  organization = {IEEE}
}

@ARTICLE{Buchs:95:IOOICSPFS,
  author = {{D}idier {B}uchs and {J}arle {H}ulaas},
  title = {{I}ncremental {O}bject {O}riented {I}mplementation of {C}oncurrent
	{S}ystems based on {P}rototyping of {F}ormal {S}pecifications},
  journal = {{SIPAR} workshop},
  year = {1995},
  pages = {141--145},
  month = oct,
  note = {Biel, Switzerland},
  abstract = {Not available},
  url = {lglftp.epfl.ch:pub/Papers/buchs-Sipar-OO-distr.abstract.ps}
}

@INPROCEEDINGS{Buchs:97:EVLSCSET,
  author = {{D}idier {B}uchs and {J}arle {H}ulaas and {P}ascal {R}acloz},
  title = {{E}xploiting {V}arious {L}evels of {S}emantics in {CO}-{OPN} for
	the {SANDS} {E}nvironment {T}ools},
  booktitle = {{T}ool {P}resentations, {I}nternational {C}onference on {A}pplication
	and {T}heory of {P}etri {N}ets {ICATPN}'97},
  year = {1997},
  pages = {34--43},
  address = {Toulouse, France},
  month = jun,
  abstract = {This paper describes the techniques and tools developed to support
	the construction of CO-OPN specifications (Concurrent Object Oriented
	Petri Nets) [7] and the kind of semantics that are needed for each
	part of the environment. CO-OPN is a specification language which
	permits an abstract description of aspects of concurrent operations
	and data-structures of computer programs. The concurrent and operational
	part of the formalism is described by means of Petri nets, while
	the data-structures are described by means of algebraic abstract
	data types. In the CO-OPN formalism, these associations are structured
	with the notion of objects. CO-OPN specifications can be developed,
	analyzed and simulated in a dedicated environment called SANDS (Structured
	Algebraic Nets Development System [6]). Various semantics of CO-OPN
	are exploited: an abstract operational semantics is used for the
	logic programming simulator as well as for the test set generation
	tool, while a more concrete operational semantics based on transactions
	is necessary for prototyping on distributed systems. All these semantics
	are valid and partially complete on a subpart of the CO-OPN language
	with respect to its denotational semantics.},
  keywords = {Conform},
  signature = {lglftp.epfl.ch:pub/Papers/buchs-ICATPNtools97.ps.Z}
}

@INPROCEEDINGS{Buchs:93:CSDTDA,
  author = {{D}idier {B}uchs and {F}abrice {M}ourlin and {L}orens {S}afavi},
  title = {{CO-OPN} for {S}pecifying a {D}istributed {T}ermination {D}etection
	{A}lgorithm},
  booktitle = {{W}orld {T}ransputer {C}ongress, {W}orkshop on {S}oftware {E}ngineering
	for {P}arallel {S}ystems},
  year = {1993},
  volume = {3},
  pages = {25--29},
  month = sep,
  organization = {Aachen, Germany},
  publisher = {IOS Press}
}

@INPROCEEDINGS{dics:buchs06,
  author = {{D}idier {B}uchs and {L}uis {P}edro and {L}evi {L}ucio},
  title = {{F}ormal {T}est {G}eneration {F}rom {UML} {M}odels},
  booktitle = {{D}ependable {S}ystems: {S}oftware, {C}omputing, {N}etworks: {R}esearch
	{R}esults of the {DICS} {P}rogram},
  year = {2006},
  pages = {145-171},
  address = {Secaucus, NJ, USA},
  publisher = {Springer-Verlag New York, Inc.},
  isbn = {3540368213}
}

@ARTICLE{Buchs:96:DPPUST,
  author = {{D}. {B}uchs and {P}. {R}acloz and {M}. {B}uffo and {J}. {F}lumet
	and {E}. {U}rland},
  title = {{D}eriving {P}arallel {P}rograms {U}sing {SANDS} {T}ools},
  journal = {{T}ransputer {C}ommunications},
  year = {1996},
  volume = {3},
  pages = {23--32},
  number = {1},
  month = jan,
  source = {Didier Buchs},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buchs:96:DPPUST/paper.ps.gz}
}

@BOOK{eclipe:emf_book,
  title = {{E}clipse {M}odeling {F}ramework},
  publisher = {Addison Wesley},
  year = {2004},
  author = {{F}rank {B}udinsky and {D}avid {S}teinberg and {E}d {M}erks and {R}aymond
	{E}llersick and {T}imothy {J}. {G}rose},
  series = {The Eclipse series},
  alteditor = {Erich Gamma and Lee Nackman and John Wiegand},
  url = {http://www.eclipse.org/emf/}
}

@BOOKLET{Buffo:95:COOPNLIB,
  title = {{T}he {CO}-{OPN} library, version 2.3},
  author = {{M}athieu {B}uffo},
  address = {CUI, Universit de Genve, Suisse},
  month = jul,
  year = {1995},
  editor = {Mathieu Buffo},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:95:COOPNLIB/book.ps.gz}
}

@BOOKLET{Buffo:95:TSPPLIB,
  title = {{T}he {TSPP} library, version 1.1},
  author = {{M}athieu {B}uffo},
  address = {CUI, Universit de Genve, Suisse},
  month = jul,
  year = {1995},
  editor = {Mathieu Buffo},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:95:TSPPLIB/book.ps.gz}
}

@INPROCEEDINGS{Buffo:96:CCDO,
  author = {{M}athieu {B}uffo},
  title = {{C}ontextual {C}oordination for {D}istributed {O}bjects},
  booktitle = {{P}roceedings of the '96 {SIPAR}-{W}orkshop on {P}arallel and {D}istributed
	{C}omputing},
  year = {1996},
  editor = {C.A. Hritier and B. Chopard},
  address = {Genve, Suisse},
  month = oct,
  organization = {SIPAR},
  publisher = {CUI, Universit de Genve},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:96:CCDO/paper.ps.gz}
}

@PHDTHESIS{Buff97,
  author = {{M}athieu {B}uffo},
  title = {{C}ontextual {C}oordination: a {C}oordination {M}odel for {D}istributed
	{O}bject {S}ystems},
  school = {University of Geneva},
  year = {1997}
}

@PHDTHESIS{Buffo:97:CCCMDOS,
  author = {{M}athieu {B}uffo},
  title = {{C}ontextual {C}oordination: a {C}oordination {M}odel for {D}istributed
	{O}bject {S}ystems},
  school = {University of Geneva},
  year = {1997},
  source = {author},
  url = {not yet available}
}

@PHDTHESIS{Buffo:97:phd,
  author = {{M}athieu {B}uffo},
  title = {{C}ontextual {C}oordination: a coordination model for distributed
	object systems},
  school = {Universit\'e de Gen\`eve},
  year = {1997}
}

@TECHREPORT{Buffo:96:SI1,
  author = {{M}athieu {B}uffo},
  title = {{Systmes Informatique 1}, travaux pratiques},
  institution = {Centre Universitaire Informatique},
  year = {1996},
  type = {Cahiers du CUI},
  number = {50},
  address = {CUI, Universit de Genve, {24, rue du Gnral Dufour}, 1211 Genve 4,
	Suisse},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:96:SI1/Livre.ps.gz}
}

@TECHREPORT{Buffo:93:CT,
  author = {{M}athieu {B}uffo},
  title = {{C}ollection de transformations (associes au logiciel {TTool})},
  institution = {Centre Universitaire Informatique},
  year = {1993},
  type = {Cahiers du CUI},
  number = {79},
  address = {CUI, Universit de Genve, {24, rue du Gnral Dufour}, 1211 Genve 4,
	Suisse},
  month = sep,
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:93:CT/book.ps.gz}
}

@TECHREPORT{Buffo:93:TTO,
  author = {{M}athieu {B}uffo},
  title = {{T}ransformations : thorie et outils ({TTool} version 1,0)},
  institution = {Centre Universitaire Informatique},
  year = {1993},
  type = {Cahiers du CUI},
  number = {78},
  address = {CUI, Universit de Genve, {24, rue du Gnral Dufour}, 1211 Genve 4,
	Suisse},
  month = aug,
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:93:TTO/book.ps.gz}
}

@MASTERSTHESIS{Buffo:92:ROSA,
  author = {{M}athieu {B}uffo},
  title = {{ROSA}},
  school = {Universit de Genve, Suisse},
  year = {1992},
  month = june,
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:92:ROSA/book.ps.gz}
}

@INPROCEEDINGS{Buffo:99:PMRMAPNC,
  author = {{M}. {B}uffo and {D}. {B}uchs},
  title = {{P}olymorphism and {M}odule-{R}euse {M}echanisms for {A}lgebraic
	{P}etri {N}ets in {C}oopn{T}ools},
  booktitle = {{P}roceedings of the {T}ools {P}resentation of th 20th {I}nternational
	{C}onfernce on {A}pplication and {T}heory of {P}etri {N}ets ({ICATPN}'99)},
  year = {1999},
  editor = {S. Donatelli and J. Kleijn},
  month = jun
}

@INPROCEEDINGS{Buffo:96:CCO,
  author = {{M}athieu {B}uffo and {D}idier {B}uchs},
  title = {{C}ontextual {C}oordination between {O}bjects},
  booktitle = {{P}roceedings of the {X} {SBES} {B}razilian {S}ymposium on {S}oftware
	{E}ngineering},
  year = {1996},
  editor = {Jos Carlos Maldonado and Paulo Cesar Masiero},
  pages = {341--356},
  address = {So Carlos, Brasil},
  month = oct,
  organization = {ICMSC/USP and UFScar},
  publisher = {USP},
  reference = {CDD 001.642.5},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:96:CCO/paper.ps.gz}
}

@UNPUBLISHED{buffo:buchs,
  author = {{M}. {B}uffo and {D}. {B}uchs},
  title = {{S}ymbolic {S}imulation of {C}oordinated {A}lgebraic {P}etri {N}ets
	using {L}ogic {P}rogramming},
  note = {University of Geneva -- Internal Note}
}

@INPROCEEDINGS{BB99,
  author = {{M}athieu {B}uffo and {D}idier {B}uchs},
  title = {{A} {D}istributed {S}emantics for a {IWIM}-{B}ased {C}oordination
	{L}anguage},
  booktitle = {{COORDINATION} '99: {P}roceedings of the {T}hird {I}nternational
	{C}onference on {C}oordination {L}anguages and {M}odels},
  year = {1999},
  pages = {415},
  address = {London, UK},
  publisher = {Springer-Verlag},
  isbn = {3-540-65836-X}
}

@ARTICLE{Buffo:96:CCMDSOOS,
  author = {{M}athieu {B}uffo and {D}idier {B}uchs},
  title = {{C}ontextual {C}oordination for the {M}apping of {D}istributed {S}ystems
	on {O}bject-{O}riented {S}ystems},
  journal = {{C}omputer and {A}rtificial {I}ntelligence},
  year = {1997},
  volume = {16},
  number = {2},
  reference = {ISSN 0232-0274},
  source = {Mathieu Buffo}
}

@INPROCEEDINGS{Buffo:97:CMDOS,
  author = {{M}athieu {B}uffo and {D}idier {B}uchs},
  title = {{A} {C}oordination {M}odel for {D}istributed {O}bject {S}ystems},
  booktitle = {{P}roceedings of the {S}econd {I}nternational {C}onference on {C}oordination
	{M}odels and {L}anguages {COORDINATION}'97},
  year = {1997},
  volume = {1282},
  series = {Lecture Notes in Computer Science},
  pages = {410--413},
  publisher = {Springer Verlag},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:97:CMDOS/paper.ps.gz}
}

@INPROCEEDINGS{Buffo:94:DPPBRT,
  author = {{M}athieu {B}uffo and {D}idier {B}uchs and {J}os {R}olim},
  title = {{D}eveloping parallel programs based on rewriting techniques},
  booktitle = {{P}roceedings of the {IEEE}/{USP} {W}orkshop on {H}igh {P}erformance
	{C}omputing 1994},
  year = {1994},
  editor = {Joo Zuffo},
  pages = {185--200},
  address = {So Paulo, Brasil},
  month = mar,
  organization = {IEEE / USP},
  publisher = {USP-LSI},
  reference = {CDU 681.322.06},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:94:DPPBRT/paper.ps.gz}
}

@INPROCEEDINGS{Buffo:94:TSPPTSPP,
  author = {{M}athieu {B}uffo and {E}rik {U}rland},
  title = {{TSPP} : {T}ransformations de {S}pcifications de problmes orientes
	vers le {P}aralllisme et le {P}robabilisme},
  booktitle = {{P}roceedings of the '94 {SIPAR}-{W}orkshop on {P}arallel and {D}istributed
	{C}omputing},
  year = {1994},
  editor = {Marc Aguilar},
  pages = {49--52},
  address = {Fribourg, Suisse},
  month = oct,
  organization = {SIPAR},
  publisher = {IIUG, Universit de Fribourg},
  note = {Internal working paper no 94-19},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:94:TSPPTSPP/paper.ps.gz}
}

@TECHREPORT{Buffo:95:TSPPDPDSFSP,
  author = {{M}athieu {B}uffo and {E}rik {U}rland and {D}idier {B}uchs and {J}os
	{R}olim},
  title = {{TSPP} : {D}eriving {P}arallel or {D}istributed {S}olutions from
	{F}ormally {S}pecified {P}roblems},
  institution = {Centre Universitaire Informatique},
  year = {1995},
  address = {CUI, Universit de Genve, {24, rue du Gnral Dufour}, 1211 Genve 4,
	Suisse},
  month = mar,
  note = {Revised paper, unpublished for personnal reasons},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:95:TSPPDPDSFSP/paper.ps.gz}
}

@INPROCEEDINGS{Buffo:95:PGPSFSP,
  author = {{M}athieu {B}uffo and {E}rik {U}rland and {J}os {R}olim and {D}idier
	{B}uchs},
  title = {{P}rogressive generation of parallel solutions for formally specified
	problems},
  booktitle = {{P}roceedings of the {I}nternational {W}orkshop on {P}arallel processing
	'94},
  year = {1995},
  editor = {Viktor Prasanna and Vijay Bhatkar and Lalit Patnaik and Satish Tripathi},
  pages = {89--93},
  address = {New Dehli, India},
  month = jan,
  organization = {IEEE},
  publisher = {Tata McGraw-Hill},
  reference = {ISBN 0-07-462332-X},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:95:PGPSFSP/paper.ps.gz}
}

@TECHREPORT{Buffo:94:PTSPP,
  author = {{M}athieu {B}uffo and {E}rik {U}rland and {J}os {R}olim and {D}idier
	{B}uchs},
  title = {{L}e projet {TSPP}},
  institution = {Centre Universitaire Informatique},
  year = {1994},
  type = {Cahiers du CUI},
  number = {91},
  address = {CUI, Universit de Genve, {24, rue du Gnral Dufour}, 1211 Genve 4,
	Suisse},
  month = dec,
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/ref/TSPP.december-1994.CahierDuCUI-91/Cahier.ps.gz}
}

@ARTICLE{bur:dar:77,
  author = {{R}. {M}. {B}urstall and {J}ohn {D}arlington},
  title = {{A} {T}ransformation {S}ystem for {D}eveloping {R}ecursive {P}rograms},
  journal = {{J}. {ACM}},
  year = {1977},
  volume = {24},
  pages = {44--67},
  number = {1},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/321992.321996},
  issn = {0004-5411},
  publisher = {ACM}
}

@ARTICLE{DBLP:journals/tse/CampbellR86,
  author = {{R}oy {H}. {C}ampbell and {B}rian {R}andell},
  title = {{E}rror {R}ecovery in {A}synchronous {S}ystems.},
  journal = {{IEEE} {T}rans. {S}oftware {E}ng.},
  year = {1986},
  volume = {12},
  pages = {811-826},
  number = {8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@MISC{canver99formal,
  author = {{E}. {C}anver and {F}. von {H}enke},
  title = {{F}ormal development of objectbased systems in a temporal logic setting},
  year = {1999},
  text = {E. Canver and F. von Henke. Formal development of objectbased systems
	in a temporal logic setting. In Formal Methods for Open Object-Based
	Distributed Systems, pages 419-- 436. Kluwer Academic Publishers,
	February 1999.},
  url = {citeseer.ist.psu.edu/canver99formal.html}
}

@INPROCEEDINGS{CDIPP:EWSA05,
  author = {{M}auro {C}aporuscio and {D}avide {D}i {R}uscio and{P}aola {I}nverardi
	and {P}atrizio {P}elliccione and {A}lfonso {P}ierantonio},
  title = {{E}ngineering {MDA} into {C}ompositional {R}easoning for {A}nalyzing
	{M}iddleware-based {A}pplications},
  booktitle = {{S}econd {E}uropean {W}orkshop on {S}oftware {A}rchitecture ({EWSA}
	2005)},
  year = {2005},
  address = {Pisa, Italy},
  month = {June}
}

@INPROCEEDINGS{DBLP:conf/rodin/CapozuccaGP06,
  author = {{A}lfredo {C}apozucca and {N}icolas {G}uelfi and {P}atrizio {P}elliccione},
  title = {{T}he {F}ault-{T}olerant {I}nsulin {P}ump {T}herapy},
  booktitle = {{RODIN} {B}ook},
  year = {2006},
  pages = {59-79},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1007/11916246_3}
}

@PHDTHESIS{C04,
  author = {{S}tanislav {C}hachkov},
  title = {{G}eneration of {O}bject-{O}riented programs from {CO}-{OPN} {S}pecifications},
  school = {Ecole Polytechnique Federal de Lausanne},
  year = {2004}
}

@PHDTHESIS{Chachkov04,
  author = {{S}tanislav {C}hachkov},
  title = {{G}eneration of {O}bject-{O}riented programs from {CO}-{OPN} {S}pecifications},
  school = {Ecole Polytechnique Federal de Lausanne},
  year = {2004}
}

@INPROCEEDINGS{Chachkov:02:ISLNDP,
  author = {{S}tanislav {C}hachkov and {D}idier {B}uchs},
  title = {{I}nterfacing {S}oftware {L}ibraries from {N}on-deterministic {P}rototypes},
  booktitle = {{R}apid {S}ystem {P}rototyping, {D}armstadt, {DE}},
  year = {2002},
  pages = {92 - 98},
  month = {July},
  publisher = {IEEE Computer Society Press},
  keywords = {Conform}
}

@INPROCEEDINGS{Chachkov:01:FAOOMRUESC,
  author = {{S}tanislav {C}hachkov and {D}idier {B}uchs},
  title = {{F}rom an {A}bstract {O}bject-{O}riented {M}odel to a {R}eady-to-{U}se
	{E}mbedded {S}ystem {C}ontroller},
  booktitle = {{R}apid {S}ystem {P}rototyping, {M}onterey, {CA}},
  year = {2001},
  pages = {142 - 148},
  month = {June},
  publisher = {IEEE Computer Society Press}
}

@INPROCEEDINGS{Chachkov:01:FFSRUSCCOOPNA,
  author = {{S}tanislav {C}hachkov and {D}idier {B}uchs},
  title = {{F}rom {F}ormal {S}pecifications to {R}eady-to-{U}se {S}oftware {C}omponents:
	{T}he {C}oncurrent {O}bject-{O}riented {P}etri {N}et {A}pproach},
  booktitle = {{I}nternational {C}onference on {A}pplication of {C}oncurrency to
	{S}ystem {D}esign, {N}ewcastle},
  year = {2001},
  pages = {99 - 110},
  month = {June},
  publisher = {IEEE Computer Society Press}
}

@UNPUBLISHED{chantre06,
  author = {{A}drien {C}hantre},
  title = {{I}mplementation of a {T}est {L}anguage for {CO}-{OPN}: {U}ser {G}uide
	and {G}raphical {U}ser {I}nterface},
  note = {Bachelor Thesis, Universit{\'e} de Gen{\`e}ve},
  year = {2006}
}

@INPROCEEDINGS{chen:petrinets:07,
  author = {{A}ng {C}hen and {D}idier {B}uchs},
  title = {{C}omposing {B}usiness {P}rocess with {ID}-{N}et},
  booktitle = {{I}nternational {W}orkshop on {P}etri {N}ets and {S}oftware {E}ngineering},
  year = {2007},
  month = {June},
  date-added = {2008-02-29 13:05:33 +0100},
  date-modified = {2008-02-29 13:13:26 +0100},
  keywords = {Ang, IDNet, SMV}
}

@INPROCEEDINGS{chen:ascd:2006,
  author = {{A}ng {C}hen and {D}idier {B}uchs},
  title = {{T}ransactional {B}usiness {P}rocess {D}esign and {P}rototyping:
	{A} {COOPN} {A}pproach.},
  booktitle = {{S}ixth {I}nternational {C}onference on {A}pplication of {C}oncurrency
	to {S}ystem {D}esign ({S}ubmitted)},
  year = {2006},
  owner = {ang},
  timestamp = {2006.02.10}
}

@INPROCEEDINGS{chen:rise:2005,
  author = {{A}ng {C}hen and {D}idier {B}uchs},
  title = {{T}owards {S}ervice-based {B}usiness {P}rocess {M}odeling, {P}rototyping
	and {I}ntegration},
  booktitle = {{R}apid {I}ntegration of {S}oftware {E}ngineering techniques},
  year = {2006},
  volume = {LNCS 3943},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{chen:rsp:2006,
  author = {{A}ng {C}hen and {D}idier {B}uchs},
  title = {{A} {G}enerative {B}usiness {P}rocess {P}rototyping {F}ramework},
  booktitle = {17th {IEEE} {I}nternational {W}orkshop on {R}apid {S}ystem {P}rototyping
	({S}ubmitted)},
  year = {2006},
  owner = {ang},
  timestamp = {2006.02.10}
}

@INPROCEEDINGS{chen:buchs:lucio:pedro:risoldi:moca06,
  author = {{A}ng {C}hen and {D}idier {B}uchs and {L}evi {L}ucio and {L}uis {P}edro
	and {M}atteo {R}isoldi},
  title = {{M}odeling {D}istributed {S}ystems using {C}oncurrent {O}bject {O}riented
	{P}etri {N}ets},
  booktitle = {{F}ourth {I}nternational {W}orkshop on {M}odelling of {O}bjects,
	{C}omponents, and {A}gents},
  year = {2006}
}

@ARTICLE{Chrysanthis91:acta,
  author = {{P}. {C}hrysanthis and {K}. {R}amaritham},
  title = {{A} {F}ormalism for {E}xtended {T}ransaction {M}odels},
  journal = {{P}roc. {I}nternational {C}onference on {V}ery {L}arge {D}ata {B}ases},
  year = {September 1991}
}

@ARTICLE{Panos92:acta,
  author = {{P}anos {K}. {C}hrysanthis and {K}rithi {R}amamritham},
  title = {{ACTA}: {T}he {SAGA} {C}ontinues},
  journal = {{D}atabase {T}ransaction {M}odels for {A}dvanced {A}pplications},
  year = {1992},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{Clarke:Emerson:1981,
  author = {{C}larke, {E}dmund {M}. and {E}merson, {E}. {A}llen},
  title = {{D}esign and {S}ynthesis of {S}ynchronization {S}keletons {U}sing
	{B}ranching-{T}ime {T}emporal {L}ogic},
  booktitle = {{L}ogic of {P}rograms, {W}orkshop},
  year = {1982},
  pages = {52--71},
  address = {London, UK},
  publisher = {Springer-Verlag},
  acmid = {747438},
  isbn = {3-540-11212-X},
  numpages = {20},
  url = {http://portal.acm.org/citation.cfm?id=648063.747438}
}

@ARTICLE{Clarke86automaticverification,
  author = {{E}. {M}. {C}larke and {E}. {A}. {E}merson and {A}. {P}. {S}istla},
  title = {{A}utomatic verification of finite-state concurrent systems using
	temporal logic specifications},
  journal = {{ACM} {T}ransactions on {P}rogramming {L}anguages and {S}ystems},
  year = {1986},
  volume = {8},
  pages = {244--263}
}

@BOOK{clatin:96,
  title = {{M}anuel d'utilisation de {TVEDA} {V}3},
  publisher = {France T\'el\'ecom},
  year = {1996},
  author = {{M}. {C}latin},
  note = {Manual LAA/EIA/EVP/109}
}

@UNPUBLISHED{coelho06,
  author = {{S}{\'e}rgio {C}oelho},
  title = {{I}mplementation of a {T}est {L}anguage for {CO}-{OPN}: {S}yntactic
	and {S}tatic {S}emantics {V}erifications},
  note = {Bachelor Thesis, Universit{\'e} de G'en{\`e}ve},
  year = {2006}
}

@BOOK{coleman:94,
  title = {{O}bject-{O}riented {D}evelopment: {T}he {F}usion {M}ethod},
  publisher = {Prentice-Hall},
  year = {1994},
  author = {{D}. {C}oleman and {P}. {A}rnold and {S}. {B}odoff and {C}. {D}ollin
	and {H}. {G}ilchrist and {F}. {H}ayes and {P}. {J}eremaes}
}

@INPROCEEDINGS{DBLP:conf/mdeis/CombemaleRCMPMC06,
  author = {{B}eno\^{\i}t {C}ombemale and {S}ylvain {R}ougemaille and {X}avier
	{C}r{\'e}gut and {F}r{\'e}d{\'e}ric {M}igeon and {M}arc {P}antel
	and {C}hristine {M}aurel and {B}ernard {C}oulette},
  title = {{T}owards {R}igorous {M}etamodeling},
  booktitle = {{MDEIS}},
  year = {2006},
  pages = {5-14},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  date-added = {2008-02-25 15:01:36 +0100},
  date-modified = {2008-02-25 15:01:50 +0100},
  keywords = {Metamodeling}
}

@MISC{web_metaedit,
  author = {{M}eta{C}ase {C}onsulting},
  title = {{M}eta{E}dit+},
  note = {\url{http://www.metacase.com}},
  date-modified = {2008-02-26 00:34:50 +0100},
  keywords = {DSML, DSMLTools, MetaEdit+}
}

@INPROCEEDINGS{Coo00,
  author = {{S} {C}ook},
  title = {{T}he {UML} {F}amily: {P}rofiles, {P}refaces and {P}ackages},
  booktitle = {{UML}2000 {C}onference {P}roceedings},
  year = {2000},
  editor = {A Evans, S Kent and B Selic},
  month = {unknown},
  publisher = {LNCS 1939},
  publication_type = {inproceedings},
  submission_id = {29802_999257282},
  url = {http://www.cs.ukc.ac.uk/pubs/2000/1255}
}

@BOOK{microsoft_dsltools,
  title = {{D}omain-{S}pecific {D}evelopment with {V}isual {S}tudio {DSL} {T}ools},
  publisher = {Addison-Wesley Professional},
  year = {2007},
  author = {{S}teve {C}ook and {G}areth {J}ones and {S}tuart {K}ent and {A}lan
	{C}ameron {W}ils},
  date-added = {2008-02-25 13:42:09 +0100},
  date-modified = {2008-02-25 13:45:49 +0100},
  keywords = {DSML, DSMLTools, MicrosoftDSLTools}
}

@MISC{OptimalJ,
  author = {{C}ompuware {C}orporation},
  title = {{O}ptimal{J}},
  year = {2007},
  note = {\url{http://www.compuware.com/products/optimalj/}},
  date-modified = {2008-02-26 00:40:24 +0100},
  keywords = {MDA Case Tools}
}

@INPROCEEDINGS{Couvreur02:DDD,
  author = {{J}.-{M}. {C}ouvreur and {E}.{E}ncrenaz and {E}. {P}aviot-{A}det
	and {D}. {P}oitrenaud and {P}. {W}acrenier},
  title = {{D}ata {D}ecision {D}iagram for {P}etri {N}ets {A}nalysis},
  booktitle = {23rd international conference on application and theory of {P}etri
	{N}ets ({ATPN} 2002), jun 2002, {A}ustralia.},
  year = {2002},
  volume = {LNCS vol 2360},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{couvreur.02.icatpn,
  author = {{J}ean-{M}ichel {C}ouvreur and {E}mmanuelle {E}ncrenaz and {E}mmanuel
	{P}aviot-{A}det and {D}enis {P}oitrenaud and {P}ierre-{A}ndr{\'{e}}
	{W}acrenier},
  title = {{D}ata {D}ecision {D}iagrams for {P}etri {N}et {A}nalysis},
  booktitle = {{P}roceedings of the 23th {I}nternational {C}onference on {A}pplication
	and {T}heory of {P}etri {N}ets ({ICATPN}'02)},
  year = {2002},
  volume = {2360},
  series = {Lecture Notes in Computer Science},
  pages = {101--120},
  address = {Adelaide, Australia},
  month = {June},
  publisher = {Springer Verlag},
  file = {icatpn02.pdf:articles/icatpn02.pdf:PDF}
}

@INPROCEEDINGS{couvreur.00.icatpn,
  author = {{J}ean-{M}ichel {C}ouvreur and {S}{\'{e}}bastien {G}rivet and {D}enis
	{P}oitrenaud},
  title = {{D}esigning a {LTL} {M}odel-{C}hecker {B}ased on {U}nfolding {G}raphs},
  booktitle = {{P}roceedings of the 21th {I}nternational {C}onference on {A}pplications
	and {T}heory of {P}etri {N}ets ({ICATPN}'00)},
  year = {2000},
  series = {Lecture Notes in Computer Science},
  address = {Aarhus, Denmark},
  month = JUN,
  publisher = {Springer-Verlag},
  file = {icatpn00.ps:articles/icatpn00.ps:PostScript}
}

@INPROCEEDINGS{ASSE:Cristia,
  author = {{M}aximiliano {C}risti\'a and {G}isela {G}iusti and {F}elipe {M}anzano},
  title = {{T}he {I}mplementation of {L}isex, a {MLS} {L}inux {P}rototype},
  booktitle = {{ASSE}},
  year = {2005}
}

@BOOK{gp:CE00,
  title = {{G}enerative programming: methods, tools, and applications},
  publisher = {ACM Press/Addison-Wesley Publishing Co.},
  year = {2000},
  author = {{K}rzysztof {C}zarnecki and {U}lrich {W}. {E}isenecker},
  address = {New York, NY, USA},
  isbn = {0-201-30977-7}
}

@INPROCEEDINGS{VIATRA,
  author = {{D}. {V}arro, {G}. {V}arro and {A}. {P}ataricza},
  title = {{D}esigning the automatic transformation of visual languages.},
  booktitle = {{S}cience of {C}omputer {P}rogramming, vol. 44(2)},
  year = {2002},
  pages = {205--227}
}

@MISC{tuprolog,
  author = {{DEIS}},
  title = {tu{P}rolog},
  note = {\url{http://alice.unibo.it/xwiki/bin/view/Tuprolog/}}
}

@ARTICLE{vandeursen00domainspecific,
  author = {{A}rie van {D}eursen and {P}aul {K}lint and {J}oost {V}isser},
  title = {{D}omain-{S}pecific {L}anguages: {A}n {A}nnotated {B}ibliography},
  journal = {{SIGPLAN} {N}otices},
  year = {2000},
  volume = {35},
  pages = {26-36},
  number = {6},
  url = {citeseer.csail.mit.edu/article/vandeursen00domainspecific.html}
}

@MISC{ibm:ws-trans,
  author = {{IBM} {D}eveloper{W}orks},
  title = {{W}eb {S}ervices {T}ransactions {S}pecifications},
  url = {http://www-128.ibm.com/developerworks/library/specification/ws-tx/}
}

@INPROCEEDINGS{Dimarzo:98:FDJBWPA,
  author = {{D}i {M}arzo {S}erugendo, {G}iovanna and {G}uelfi, {N}icolas},
  title = {{F}ormal {D}evelopment of {J}ava {B}ased {W}eb {P}arallel {A}pplications},
  booktitle = {{P}roceedings of the {H}awai {I}nternational {C}onference on {S}ystem
	{S}ciences},
  year = {1998},
  signature = {lglftp.epfl.ch:pub/Papers/dimarzo-hicss98.ps}
}

@TECHREPORT{Dimarzo:97:FDJP,
  author = {{D}i {M}arzo {S}erugendo, {G}iovanna and {G}uelfi, {N}icolas},
  title = {{F}ormal {D}evelopment of {J}ava {P}rograms},
  institution = {Software Engineering Laboratory, Swiss Federal Institute of Technology,
	Lausanne, Switzerland},
  year = {1997},
  number = {97/248},
  signature = {lglftp.epfl.ch:pub/Papers/dimarzo-TR97-248.ps}
}

@TECHREPORT{Dimarzo:97:FDVDSBCCAA,
  author = {{D}i {M}arzo {S}erugendo, {G}iovanna and {G}uelfi, {N}icolas and
	{R}omanovsky, {A}lexander and {Z}orzo, {A}velino},
  title = {{F}ormal {D}evelopment and {V}alidation of the {DSG}amma {S}ystem
	{B}ased on {CO-OPN/2} and {C}oordinated {A}tomic {A}ctions},
  institution = {University of Newcastle Upon Tyne, England},
  year = {1997},
  number = {to appear as 1997 - Technical Report of the Esprit Long Term Research
	Project 20072 ``Design For Validation''},
  address = {Department of Computing Science},
  abstract = {The objectives of this research are twofold. On the first hand, it
	aims to show the interest of Coordinated Atomic Actions (CAAs) as
	a design concept and, on the other hand it explains how the formal
	language CO-OPN/2 can be used to express a CAA design. A real distributed
	application is developed according to a simple development life cycle:
	informal requirements, specification, design, implementation. The
	design phase is built according to the CAA concept. The CO-OPN/2
	language is used to express the specification, and design phase.
	The implementation is made in Java based on a library of generic
	classes adapted to CAA concepts. The validation phase is shortly
	addressed, it just shows to what extend the development methodology
	followed in this paper can be useful for proving properties.},
  signature = {http://lglwww.epfl.ch/Team/NG/Deva/ToulouseReport/main.ps}
}

@INPROCEEDINGS{Dijkstra72,
  author = {{E}. {W}. {D}ijkstra},
  title = {{N}otes on structured programming},
  booktitle = {{S}tructured {P}rogramming},
  year = {1972},
  editor = {O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare},
  pages = {1-82}
}

@UNPUBLISHED{EWD:EWD1036,
  author = {{E}dsger {W}. {D}ijkstra},
  title = {{O}n the cruelty of really teaching computing science},
  note = {circulated privately},
  month = dec,
  year = {1988},
  url = {http://www.cs.utexas.edu/users/EWD/ewd10xx/EWD1036.PDF}
}

@INPROCEEDINGS{DBLP:conf/dagstuhl/Din04,
  author = {{G}eorge {D}in},
  title = {{TTCN}-3.},
  booktitle = {{M}odel-{B}ased {T}esting of {R}eactive {S}ystems},
  year = {2005},
  volume = {3472},
  series = {Lecture Notes in Computer Science},
  pages = {465-496},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@BOOK{Heiko,
  title = {{E}fficient {G}raph {R}ewriting and {I}ts {I}mplementation},
  publisher = {Springer},
  year = {1995},
  author = {{H}eiko {D}orr},
  isbn = {3-54060-055-8}
}

@MANUAL{kermeta_manual,
  title = {{K}ermeta language - {R}eference manual},
  author = {{Z}o{\'e} {D}rey and {C}yril {F}aucher and {F}ranck {F}leurey and
	{V}incent {M}ah{\'e} and {D}idier {V}ojtisek},
  organization = {Triskell team},
  month = {January},
  year = {2008},
  abstract = {This manual presents the various aspects of the Kermeta language.
	This is the reference manual for anybody who want to use Kermeta},
  date-added = {2008-02-25 14:54:01 +0100},
  date-modified = {2008-02-25 14:55:50 +0100},
  keywords = {Metamodeling, Kermeta}
}

@MANUAL{kermetaManual,
  title = {{K}ermeta language - {R}eference {M}anual},
  author = {{Z}o� {D}rey and {C}yril {F}aucher and {F}ranck {F}leurey and {V}incent
	{M}ah� and {D}idier {V}ojtisek},
  organization = {Institut de Recherche en Informatique et Syst�mes Al�atoires},
  address = {France},
  month = {April},
  year = {2009}
}

@INPROCEEDINGS{Dummas01:UML,
  author = {{M}. {D}umas and {A}. ter {H}ofstede},
  title = {{UML} {A}ctivity {D}iagrams as a {W}orkflow {S}pecification {L}anguage},
  booktitle = {{I}n {P}roc. of the {I}nternational {C}onference on the {U}nified
	{M}odeling {L}anguage ({UML}) {T}oronto, {C}anada},
  year = {October 2001, Springer Verlag}
}

@MISC{smartqvt_web,
  author = {{G}r{\'e}goire {DUPE} and {M}ariano {BELAUNDE} and {R}omain {PERRUCHON}
	and {H}{\'e}l{\'e}na {BESNARD} and {F}lorian {GUILLARD} and {V}ivian
	{OLIVERES}},
  title = {{S}mart{QVT}},
  note = {\url{http://smartqvt.elibel.tm.fr/}},
  date-added = {2008-02-26 00:50:55 +0100},
  date-modified = {2008-02-26 00:53:32 +0100},
  keywords = {Transformation Languages, QVT, SmartQVT}
}

@ARTICLE{Dutheillet02,
  author = {{C}. {D}utheillet and {I}. {V}ernier-{M}ounier and {J}.-{M}. {I}li
	and {D}. {P}oitrenaud},
  title = {{V}erification: {S}tate-{S}pace-{B}ased {M}ethods and {M}odel {C}hecking.},
  journal = {{P}etri {N}ets for {S}ystems {E}ngineering},
  year = {2002},
  pages = {201--276},
  note = {InternalNote: Submitted by: hr},
  editor = {C. Girault and R. Valk},
  publisher = {Springer Verlag}
}

@INPROCEEDINGS{JacksonE.SztipanovitsJ.2006,
  author = {{E}. {J}ackson, {J}. {S}ztipanovits },
  title = {{T}owards {A} {F}ormal {F}oundation {F}or {D}omain {S}pecific {M}odeling
	{L}anguages},
  booktitle = {{P}roceedings of the {S}ixth {ACM} {I}nternational {C}onference on
	{E}mbedded {S}oftware ({EMSOFT} 06)},
  year = {2006},
  editor = {Sang Lyul Min, Wang Yi},
  pages = {53-63},
  month = {October},
  organization = {ACM},
  url = {http://chess.eecs.berkeley.edu/pubs/286.html}
}

@MISC{emf_web,
  author = {{E}clipse},
  title = {{E}clipse {M}odeling {F}ramework},
  year = {2007},
  note = {\url {http://www.eclipse.org/modeling/emf/?project=emf}}
}

@BOOK{Em85,
  title = {{F}undamentals of {A}lgebraic {S}pecification 1 : {E}quations and
	{I}nitial {S}emantics},
  publisher = {Springer-Verlag},
  year = {1985},
  author = {{H}artmut {E}hrig and {B}ernd {M}ahr},
  volume = {6},
  series = {EATC Monographs}
}

@BOOK{graphs99,
  title = {{H}andbook of {G}raph {G}rammars and {C}omputing by {G}raph {T}ransformation},
  publisher = {World Scientific},
  year = {1999},
  author = {{E}hrig, {H}., {E}ngels, {G}., {K}reowski, {H}.-{J}., {R}ozenberg,
	{G}.}
}

@BOOK{graphs06,
  title = {{F}undamentals of {A}lgebraic {G}raph {T}ransformation},
  publisher = {Springer},
  year = {2006},
  author = {{E}hrig, {H}., {E}hrig, {K}., {P}range, {U}., {T}aentzer}
}

@INPROCEEDINGS{mtip2005,
  author = {{K}arsten {E}hrig and {E}sther {G}uerra and de {L}ara, {J}uan and
	{L}aszl\'o {L}engyel and {T}iham\'er {L}evendovszky and {U}lrike
	{P}range and {G}abriele {T}aentzer and {D}\'aniel {V}arr\'o and {S}zilvia
	{V}arr\'o-{G}yapay},
  title = {{M}odel {T}ransformation by {G}raph {T}ransformation: {A} {C}omparative
	{S}tudy},
  booktitle = {{MT}i{P} 2005, {I}nternational {W}orkshop on {M}odel {T}ransformations
	in {P}ractice ({S}atellite {E}vent of {M}o{DELS} 2005)},
  year = {2005},
  optabstract = { Graph transformation has been widely used for expressing model transformations.
	Especially transformations of visual models can be naturally formulated
	by graph transformations, since graphs are well suited to describe
	the underlying structures of models. Based on a common sample model
	transformation, four different model transformation approaches are
	presented which all perform graph transformations. At first, a basic
	solution is presented and crucial points of model transformations
	are indicated. Subsequent solutions focus mainly on the indicated
	problems. Finally, a first comparison of the chosen approaches to
	model transformation is presented where the main ingredients of each
	approach are summarized. },
  url = {http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2005/mtip05.pdf}
}

@INPROCEEDINGS{M.J.2006,
  author = {{E}merson {M}., {S}ztipanovits {J}.},
  title = {{T}echniques for {M}etamodel {C}omposition},
  booktitle = {{OOPSLA} - 6th {W}orkshop on {D}omain {S}pecific {M}odeling},
  year = {2006},
  pages = {123-139},
  month = {October},
  url = {http://chess.eecs.berkeley.edu/pubs/289.html}
}

@MISC{fondue_web,
  author = {{EPFL}},
  title = {{F}ondue {B}uilder},
  note = {\url{http://fondue.epfl.ch/}}
}

@MISC{ESCJava,
  author = {{ESC}/{J}ava2},
  title = {{E}xtended {S}tatic {C}hecker for {J}ava version 2},
  note = {\url{http://secure.ucd.ie/products/opensource/ESCJava2/}}
}

@TECHREPORT{Farahbod04:bpel,
  author = {{R}. {F}arahbod and {U}. {G}lasser and {M}. {V}a jihollahi},
  title = {{A}bstract operational semantics of the {B}usiness {P}rocess {E}xecution
	{L}anguage for {W}eb {S}ervices},
  institution = {Technical Report SFU-CMPT-TR-2004-03, School of Computer Science,
	Simon Fraser University, Burnaby B.C. Canada},
  year = {April 2004}
}

@ARTICLE{DBLP:journals/scp/FernandezJJV97,
  author = {{J}ean-{C}laude {F}ernandez and {C}laude {J}ard and {T}hierry {J}{\'e}ron
	and {C}{\'e}sar {V}iho},
  title = {{A}n {E}xperiment in {A}utomatic {G}eneration of {T}est {S}uites
	for {P}rotocols with {V}erification {T}echnology},
  journal = {{S}ci. {C}omput. {P}rogram.},
  year = {1997},
  volume = {29},
  pages = {123-146},
  number = {1-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{Ferrara04:ws,
  author = {{A}. {F}errara},
  title = {{W}eb services: a process algebra approach},
  booktitle = {{I}n {P}roceedings of 2nd {I}nternational {C}onference on {S}ervice
	{O}riented {C}omputing, pages 242?251, {N}ew {Y}ork, {NY}, {USA}.
	{ACM} {P}ress},
  year = {2004}
}

@INPROCEEDINGS{Fisteus04:bpel,
  author = {{J}.{A}. {F}isteus and {L}.{S}. {F}ernandez and {C}.{D}. {K}loos},
  title = {{F}ormal verification of {BPEL}4{WS} business collaborations},
  booktitle = {{I}n {P}roceedings of 5th {I}nternational {C}onference on {E}lectronic
	{C}ommerce and {W}eb {T}echnologies ({EC}-{W}eb\`e4), volume 3180
	of {L}ecture {N}otes in {C}omputer {S}cience, pages 76?85, {Z}aragoza,
	{S}pain, {S}pringer-{V}erlag},
  year = {August 2004}
}

@PHDTHESIS{Flumet:EDSSC:95,
  author = {{J}acques {F}lumet},
  title = {{U}n environnement de dveloppement de spcifications pour systmes
	concurrents},
  school = {Universit de Genve},
  year = {1995},
  source = {author}
}

@TECHREPORT{fondement:04,
  author = {{F}ondement, {F}. and {S}ilaghi, {R}.},
  title = {{D}efining {M}odel {D}riven {E}ngineering {P}rocesses},
  institution = {Swiss Federal Institute of Technology in Lausanne, Switzerland},
  year = {2004},
  number = {IC/2004/94},
  month = {November}
}

@INPROCEEDINGS{Foster03:ws,
  author = {{H}. {F}oster and {S}. {U}chitel and {J}. {M}agee and {J}. {K}ramer},
  title = {{M}odel-based verification of {W}eb service composition},
  booktitle = {{I}n {P}roceedings of 18th {IEEE} {I}nternational {C}onference on
	{A}utomated {S}oftware {E}ngineering, pages 152?161, {M}ontreal,
	{C}anada, {IEEE} {C}omputer {S}ociety},
  year = {October 2003}
}

@BOOK{Brooks75,
  title = {{T}he mythical man-month -- {E}ssays on {S}oftware-{E}ngineering},
  publisher = {Addison Wesley},
  year = {1975},
  author = {{F}rederick {P}. {B}rooks, {J}r.},
  topics = {Programming/Software Engineering}
}

@INPROCEEDINGS{Fu04:bpel,
  author = {{X}. {F}u and {T}. {B}ultan and {J}. {S}u},
  title = {{A}nalysis of interacting {BPEL} web services},
  booktitle = {{I}n {P}roceedings of 13th {I}nternational {C}onference on {W}orld
	{W}ide {W}eb, pages 621?630, {N}ew {Y}ork, {NY}, {USA}, {ACM} {P}ress.},
  year = {2004}
}

@ARTICLE{Narayanan2002,
  author = {{N}arayanan {A}.and {K}arsai {G}.},
  title = {{T}owards {V}erifying {M}odel {T}ransformations.},
  journal = {{E}lectronic {N}otes in {T}heoretical {C}omputer {S}cience. vol 211},
  year = {2002},
  pages = {191--200}
}

@INPROCEEDINGS{Gabriel2010CIBSE,
  author = { {P}edro {G}abriel and {M}. {A}. {G}oulao and {V}. {A}maral },
  title = { {D}o {S}oftware {L}anguages {E}ngineers {E}valuate their {L}anguages?
	},
  booktitle = { {XIII} {C}ongresso {I}beroamericano en "{S}oftware {E}ngineering"
	},
  year = { 0000 },
  publisher = { CIbSE2010 }
}

@MISC{junit_web,
  author = {{E}rich {G}amma and {K}ent {B}eck},
  title = {{JU}nit.org},
  note = {\url{http://www.junit.org/}}
}

@TECHREPORT{Garcia90:nestedsagas,
  author = {{H}. {G}arcia-{M}olina and {D}. {G}awlick and {J}. {K}lein},
  title = {{C}oordinating {M}ulti-{T}ransaction {A}ctivities},
  institution = {Tech Rep CS-TR-247-90, Princeton Univ},
  year = {1990},
  timestamp = {2006.02.12}
}

@ARTICLE{Garcia91:nestedsagas,
  author = {{H}. {G}arcia-{M}olina and {D}. {G}awlick and {J}. {K}lein and {K}.
	{K}leissner and {K}. {S}alem},
  title = {{M}odeling {L}ong-{R}unning {A}ctivities as {N}ested {S}agas},
  journal = {{D}ata {E}ngineering, {V}ol. 14, {N}o. 1},
  year = {1991},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{Garcia87:sagas,
  author = {{H}. {G}arcia-{M}olina and {K}. {S}alem},
  title = {{S}agas},
  booktitle = {{SIGMOD} {I}nternational {C}onference on {M}anagement of {D}ata},
  year = {1987},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{gaud95,
  author = {{M}arie-{C}laude {G}audel},
  title = {{T}esting {C}an {B}e {F}ormal, {T}oo},
  booktitle = {{TAPSOFT} '95: {P}roceedings of the 6th {I}nternational {J}oint {C}onference
	{CAAP}/{FASE} on {T}heory and {P}ractice of {S}oftware {D}evelopment},
  year = {1995},
  pages = {82--96},
  address = {London, UK},
  publisher = {Springer-Verlag},
  isbn = {3-540-59293-8}
}

@MISC{poseidon_web,
  author = {{G}entleware},
  title = {{P}oseidon {UML}},
  note = {\url{http://www.gentleware.com/index.php}}
}

@INPROCEEDINGS{dsl:gerber04,
  author = {{A}nna {G}erber and {M}ichael {L}awley},
  title = {{G}enerating {M}odel-{S}pecific {E}ditors for {MDA}},
  booktitle = {{P}roceedings of the 4th {OOPSLA} {W}orkshop on {D}omain-{S}pecific
	{M}odeling},
  year = {2004}
}

@INPROCEEDINGS{gerber,
  author = {{A}nna {G}erber and {K}erry {R}aymond},
  title = {{MOF} to {EMF}: there and back again},
  booktitle = {eclipse '03: {P}roceedings of the 2003 {OOPSLA} workshop on eclipse
	technology e{X}change},
  year = {2003},
  pages = {60--64},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/965660.965673},
  location = {Anaheim, California}
}

@INPROCEEDINGS{gerth95simple,
  author = {{R}ob {G}erth and {D}oron {P}eled and {M}oshe {Y}. {V}ardi and {P}ierre
	{W}olper},
  title = {{S}imple {O}n-the-fly {A}utomatic {V}erification of {L}inear {T}emporal
	{L}ogic},
  booktitle = {{P}rotocol {S}pecification {T}esting and {V}erification},
  year = {1995},
  pages = {3--18},
  address = {Warsaw, Poland},
  publisher = {Chapman \& Hall},
  url = {citeseer.ist.psu.edu/gerth95simple.html}
}

@ARTICLE{DBLP:journals/mscs/GoguenD94,
  author = {{J}oseph {A}. {G}oguen and {R}azvan {D}iaconescu},
  title = {{A}n {O}xford {S}urvey of {O}rder {S}orted {A}lgebra.},
  journal = {{M}athematical {S}tructures in {C}omputer {S}cience},
  year = {1994},
  volume = {4},
  pages = {363-392},
  number = {3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@ARTICLE{GM92,
  author = {{J}oseph {A}. {G}oguen and {J}os\'e {M}eseguer},
  title = {{O}rder-sorted algebra 1: {E}quational deduction for multiple inheritance,
	overloading, exceptions and partial operations.},
  journal = {{T}heoretical {C}omputer {S}cience},
  year = {1992},
  volume = {105(2)},
  pages = {217-273},
  publisher = {Elsevier}
}

@INPROCEEDINGS{GG75,
  author = {{J}ohn {B}. {G}oodenough and {S}usan {L}. {G}erhart},
  title = {{T}oward a theory of test data selection},
  booktitle = {{P}roceedings of the international conference on {R}eliable software},
  year = {1975},
  pages = {493--510},
  address = {New York, NY, USA},
  publisher = {ACM},
  doi = {http://doi.acm.org/10.1145/800027.808473},
  location = {Los Angeles, California}
}

@MISC{xmi_web,
  author = {{O}bject {M}anagement {G}roup},
  title = {{XML} {M}etadata {I}nterchange},
  note = {\url{http://www.omg.org/technology/documents/formal/xmi.htm}}
}

@TECHREPORT{ocl_spec,
  author = {{O}bject {M}anagement {G}roup},
  title = {{O}bject {C}onstraint {L}anguage {S}pecification, version 2.0},
  institution = {{O}{M}{G}},
  year = {2006},
  month = {May}
}

@MISC{omg:qvt,
  author = {{O}bject {M}anagement {G}roup},
  title = {{Q}uery/{V}iew/{T}ransformation {S}pecification},
  month = {December},
  year = {2005},
  note = {\url {http://www.omg.org/cgi-bin/apps/doc?ptc/05-11-01.pdf}}
}

@MISC{uml_web,
  author = {{O}bject {M}anagement {G}roup},
  title = {{U}nified {M}odeling {L}anguage {V}ersion 2.0},
  month = {August},
  year = {2005},
  note = {\url{http://www.omg.org/technology/documents/formal/uml.htm}}
}

@MISC{omg:edoc,
  author = {{O}bject {M}anagement {G}roup},
  title = {{UML} {P}rofile for enterprise distributed {O}bject {C}omputing},
  year = {2004},
  annote = {\url {http://www.omg.org/technology/documents/formal/edoc.htm}}
}

@TECHREPORT{mda_specification,
  author = {{O}bject {M}anagement {G}roup},
  title = {{MDA} {G}uide {V}ersion 1.0.1},
  institution = {OMG},
  year = {2003},
  month = {June},
  optnote = {\url {http://www.omg.org/cgi-bin/doc?omg/03-06-01}}
}

@MISC{omg:mof,
  author = {{O}bject {M}anagement {G}roup},
  title = {{M}eta-{O}bject {F}acility {S}pecification},
  month = {April},
  year = {2002},
  note = {\url {http://www.omg.org/technology/documents/formal/mof.htm}}
}

@MISC{dsltransmanual,
  author = {{S}olar {G}roup},
  title = {{DSLT}rans {M}anual},
  note = {\url{http://pessoa.fct.unl.pt/rlf18343/dsltrans_manual.pdf}}
}

@MISC{dsltransplugin,
  author = {{S}olar {G}roup},
  title = {{DSLT}rans {P}lug-in},
  note = {\url{http://pessoa.fct.unl.pt/rlf18343/dsltranslator.rar}}
}

@MISC{alpina_web,
  author = {{S}mv {G}roup},
  title = {{A}l{P}i{NA} {M}odel {C}hecker},
  year = {2010},
  note = {\url{http://alpina.unige.ch}}
}

@MISC{coopnbuilder_web,
  author = {{S}mv {G}roup},
  title = {{C}oopn{B}uilder},
  year = {2007},
  note = {\url{http://smv.unige.ch/tiki-index.php?page=DownloadCoopn}}
}

@TECHREPORT{Guelfi2010,
  author = {{N}icolas {G}uelfi},
  institution = {Laboratory for Advanced Software Systems, University of Luxembourg},
  year = {2010},
  number = {TR-LASSY-10-01},
  note = {Available on request - mail to levi.lucio@uni.lu},
  booktitle = {{LASSY} {T}echnical {R}eport - submitted to {ACM} journal {T}ransactions
	on {S}oftware {E}ngineering and {M}ethodology ({TOSEM})}
}

@ARTICLE{Guelfi:97:HAN,
  author = {{N}icolas {G}uelfi},
  title = {{H}ierarchical {A}lgebraic {N}ets},
  journal = {{IEEE} {I}nternational {C}onference on {S}ystems, {M}an and {C}ybernetics},
  year = {1997},
  pages = {1722--1728},
  month = oct,
  note = {Orlando-Florida},
  abstract = {This paper presents a specifications formalism, Hierarchical Algebraic
	Nets (HAN), which allows the specification and design of heterogeneous
	concurrent distributed systems using hierarchical descriptions based
	on algebraic specifications and Petri nets. A simple example is firstly
	given in order to present the graphical representation associated
	to HAN, then the abstract syntax and formal semantics are described.
	The interesting aspects of HAN for reactive distributed systems development
	are listed and the link between the HAN model to the SANDS development
	environment is summarised.},
  signature = {lglftp.epfl.ch:pub/Papers/guelfi-smc97.ps}
}

@TECHREPORT{Guelfi:95:HAN,
  author = {{N}icolas {G}uelfi},
  title = {{H}ierarchical {A}lgebraic {N}ets},
  institution = {Software Engineering Laboratory, Swiss Federal Institute of Technology,
	Lausanne, Switzerland},
  year = {1995},
  number = {95/99},
  month = jan
}

@PHDTHESIS{Guelfi:94:LRAHFSSDSC,
  author = {{N}icolas {G}uelfi},
  title = {{L}es {R}seaux {A}lgbriques {H}irarchiques : un formalisme de spcifications
	structures pour le dveloppement de systmes concurrents},
  school = {Universit Paris XI Orsay},
  year = {1994},
  month = dec,
  note = {also in Hierarchical Algebraic Nets, Technical report 095/99, Software
	Engineering Laboratory, Swiss Federal Institute of Technology, Lausanne,
	Switzerland, January 1995}
}

@TECHREPORT{Guelfi:97:COOFM,
  author = {{N}. {G}uelfi and {O}. {B}iberstein and {D}. {B}uchs and {E}. {C}anver
	and {M}-{C}. {G}audel and {F}. von {H}enke and {D}. {S}chwier},
  title = {{C}omparison of {O}bject-{O}riented {F}ormal {M}ethods},
  institution = {University of Newcastle Upon Tyne},
  year = {1997},
  number = {to appear as 1997 - Technical Report of the Esprit Long Term Research
	Project 20072 ``Design For Validation''},
  address = {Department of Computing Science}
}

@INPROCEEDINGS{Gunther05:cpn,
  author = {{C}hristian {W}. {G}unther and {W}il {M}.{P}. van der {A}alst},
  title = {{M}odeling the {C}ase {H}andling {P}rinciples with {C}olored {P}etri
	{N}ets},
  booktitle = {{P}roceedings of the {S}ixth {W}orkshop and {T}utorial on {P}ractical
	{U}se of {C}oloured {P}etri {N}ets and the {CPN} {T}ools, {D}epartment
	of {C}omputer {S}cience, {U}niversity of {A}arhus, {PB}-576, 211-230},
  year = {October 2005}
}

@INPROCEEDINGS{Biberstein:92:LCFTCMIMD,
  author = {{G}. {H}ains and {O}. {B}iberstein and {C}. {F}oisy},
  title = {{L}a {C}ompilation de {F}onctions de {T}ableaux en {C}ode {MIMD}},
  booktitle = {{S}econdes {J}ournes {F}rancophones des {L}angages {A}pplicatifs,
	{JFLA-92}},
  year = {1992},
  editor = {C. Queinnec},
  pages = {3--20},
  address = {Perros-Guirec, France},
  month = feb,
  note = {Revue Bigre no. 76-77},
  abstract = {Nous prsentons MOA, un langage fonctionnel strict fortement typ de
	la famille ML, modifi par l'inclusion d'objets de type tableau. Un
	compilateur pour MOA gnrant du code MIMD pour un rseau de transputers
	est ensuite dcrit. Les tableaux sont multidimensionnels et munis
	de descripteurs de forme. Le compilateur applique une infrence de
	formes qui lui permet de parallliser efficacement les oprations sur
	les tableaux. Le systme rsultant permet de programmer du paralllisme
	de donnes dans un style fonctionnel pur tout en minimisant les cots
	de communication.},
  source = {authors}
}

@INPROCEEDINGS{dsl:atom3,
  author = {{H}ans {V}angheluwe, {J}uan de {L}ara},
  title = { {D}omain-{S}pecifc {V}isual {M}odelling in {AT}o{M}3},
  booktitle = {{P}roceedings of the 4th {OOPSLA} {W}orkshop on {D}omain-{S}pecific
	{M}odeling},
  year = {2004}
}

@ARTICLE{DBLP:journals/scp/Harel87,
  author = {{D}avid {H}arel},
  title = {{S}tatecharts: {A} {V}isual {F}ormulation for {C}omplex {S}ystems.},
  journal = {{S}ci. {C}omput. {P}rogram.},
  year = {1987},
  volume = {8},
  pages = {231-274},
  number = {3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@ARTICLE{Rhapsody:Harel:2004,
  author = {{H}arel, {D}avid and {K}ugler, {H}illel },
  title = {{T}he {R}hapsody {S}emantics of {S}tatecharts (or, {O}n the {E}xecutable
	{C}ore of the {UML})},
  journal = {{L}ecture notes in computer science},
  year = {2004},
  abstract = {We describe the semantics of statecharts as implemented in the current
	version of the RHAPSODY tool. In its original 1996 version this was
	among the first executable semantics for object-oriented statecharts,
	and many of its fundamentals have been adopted in the Unified Modeling
	Language (UML). Due to the special challenges of object-oriented
	behavior, the semantics of statecharts in RHAPSODY differs from the
	original semantics of statecharts in STATEMATE. Two of the main differences
	are: (i) in RHAPSODY, changes made in a given step are to take effect
	in the current step and not in the next step; (ii) in RHAPSODY, a
	step can take more than zero time. This paper constitutes the first
	description of the executable semantics of RHAPSODY, highlighting
	the differences from the STATEMATE semantics and making an effort
	to explain the issues clearly but rigorously, including the motivation
	for some of the design decisions taken.},
  address = {Berlin},
  keywords = {rhapsody semantics statecharts},
  priority = {0},
  publisher = {Springer}
}

@MISC{harel00modeling,
  author = {{D}. {H}arel and {B}. {R}umpe},
  title = {{M}odeling {L}anguages: {S}yntax, {S}emantics and {A}ll {T}hat {S}tuff},
  year = {2000},
  text = {David Harel, Bernhard Rumpe, Modeling Languages: Syntax, Semantics
	and All That Stuff, Technical paper number MCS00-16, The Weizmann
	Institute of Science, 2000. available on http://www.cs.york.ac.uk/puml/},
  url = {citeseer.ist.psu.edu/harel04modeling.html}
}

@MISC{HaslerSiftung,
  author = {{H}asler},
  title = {{H}asler{S}iftung},
  note = {http://www.haslerstiftung.ch/eng/index.html}
}

@MASTERSTHESIS{heck:bachelor,
  author = {{S}tephane {H}eck},
  title = {{M}odel {T}ransformation and {V}erification: building the basis for
	a generic tool},
  school = {Centre Universitaire D'Informatique, Universite de Gen\`eve },
  year = {2005},
  type = {Bachelor Thesis},
  month = {September}
}

@BOOK{Hen90,
  title = {{T}he semantics of programming languages: an elementary introduction
	using structural operational semantics},
  publisher = {John Wiley \& Sons, Inc.},
  year = {1990},
  author = {{M}atthew {H}ennessy},
  address = {New York, NY, USA},
  isbn = {0-471-92772-4}
}

@ARTICLE{HML85,
  author = {{M}atthew {H}ennessy and {R}obin {M}ilner},
  title = {{A}lgebraic laws for nondeterminism and concurrency},
  journal = {{J}. {ACM}},
  year = {1985},
  volume = {32},
  pages = {137--161},
  number = {1},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/2455.2460},
  issn = {0004-5411},
  publisher = {ACM Press}
}

@ARTICLE{Hennessy86,
  author = {{M}atthew {H}ennessy and {C}olin {S}tirling},
  title = {{T}he power of the future perfect in program logics},
  journal = {{I}nf. {C}ontrol},
  year = {1986},
  volume = {67},
  pages = {23--52},
  number = {1-3},
  address = {San Diego, CA, USA},
  doi = {http://dx.doi.org/10.1016/S0019-9958(85)80025-5},
  issn = {0019-9958},
  publisher = {Academic Press Professional, Inc.}
}

@INPROCEEDINGS{Hinz05:bpel,
  author = {{S}. {H}inz and {K}. {S}chmidt and {C}. {S}tahl},
  title = {{T}ransforming {BPEL} to {P}etri nets},
  booktitle = {{P}roceedings of 3rd {I}nternational {C}onference on {B}usiness {P}rocess
	{M}anagement},
  year = {September 2005}
}

@BOOK{eclipe:spin_book,
  title = {{T}he {SPIN} {M}odel {C}hecker},
  publisher = {Addison Wesley},
  year = {2003},
  author = {{G}erard {J}. {H}olzmann}
}

@INPROCEEDINGS{HuS04,
  author = {{Z}haoxia {H}u and {S}ol {M}. {S}hatz},
  title = {{M}apping {UML} {D}iagrams to a {P}etri {N}et {N}otation for {S}ystem
	{S}imulation.},
  booktitle = {{SEKE}},
  year = {2004},
  editor = {Frank Maurer and G{\"u}nther Ruhe},
  pages = {213-219},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {1-891706-14-4}
}

@PHDTHESIS{Huerzeler:04:FSRFCOFATV,
  author = {{D}avid {H}uerzeler},
  title = {{F}lexible subtyping relations for component-oriented formalisms
	and their verification},
  school = {Ecole Polytechnique F\'ed\'erale de Lausanne},
  year = {2004}
}

@PHDTHESIS{Hulaas97,
  author = {{J}arle {H}ulaas},
  title = {{A}n {I}ncremental {P}rototyping {M}ethodology for {D}istributed
	{S}ystems {B}ased on {F}ormal {S}pecifications},
  school = {no 1664, Ecole Polytechnique Federal de Lausanne},
  year = {1997}
}

@PHDTHESIS{Hulaas:97:AIPMDSBFS,
  author = {{J}arle {H}ulaas},
  title = {{A}n {I}ncremental {P}rototyping {M}ethodology for {D}istributed
	{S}ystems {B}ased on {F}ormal {S}pecifications},
  school = {Swiss Federal Institute of Technology (EPFL)},
  year = {1997},
  optaddress = {Lausanne, Switzerland},
  optmonth = {may}
}

@PHDTHESIS{Hulaas:97:IPMDSBFS,
  author = {{J}arle {H}ulaas},
  title = {{A}n {I}ncremental {P}rototyping {M}ethodology for {D}istributed
	{S}ystems {B}ased on {F}ormal {S}pecifications},
  school = {no 1664, Ecole Polytechnique Federal de Lausanne},
  year = {1997},
  address = {Departement d'Informatique, 1015 Lausanne, Switzerland},
  month = jun,
  abstract = {This thesis presents a new incremental prototyping methodology for
	formally specified distributed systems. The objective of this methodology
	is to fill the gap which currently exists between the phase where
	a specification is simulated, generally using some sequential logical
	inference tool, and the phase where the modeled system has a reliable,
	efficient and maintainable distributed implementation in a main-stream
	object-oriented programming language. This objective is realized
	by application of a methodology we call Mixed Prototyping with Object-Orientation
	(in short, OOMP). This is an extension of an existing approach, namely
	Mixed Prototyping, that we have adapted to the object-oriented paradigm,
	of which we exploit the flexibility and inherent capability of modeling
	abstract entities.\\ The OOMP process proceeds as follows. First,
	the source specifications are automatically translated into a class-based
	object-oriented language, thus providing a portable and high-level
	initial implementation. The generated class hierarchy is designed
	so that the developer may independently derive new sub-classes in
	order to make the prototype more efficient or to add functionalities
	that could not be specified with the given formalism. This prototyping
	process is performed incrementally in order to safely validate the
	modifications against the semantics of the specification. The resulting
	prototype can finally be considered as the end-user implementation
	of the specified software. \\ The originality of our approach is
	that we exploit object-oriented programming techniques in the implementation
	of formal specifications in order to gain flexibility in the development
	process. Simultaneously, the object paradigm gives the means to harness
	this newly acquired freedom by allowing automatic generation of test
	routines which verify the conformance of the hand-written code with
	respect to the specifications. \\ We demonstrate the generality of
	our prototyping scheme by applying it to a distributed collaborative
	diary program within the frame of CO-OPN (Concurrent Object-Oriented
	Petri Nets), a very powerful specification formalism which allows
	expressing concurrent and non-deterministic behaviours, and which
	provides structuring facilities such as modularity, encapsulation
	and genericity. \\ An important effort has also been accomplished
	in the development or adaptation of distributed algorithms for cooperative
	symbolic resolution. These algorithms are used in the run-time support
	of the generated prototypes. },
  keywords = {Conform, OOMethod},
  signature = {lglftp.epfl.ch:pub/Papers/hulaas-thesis.ps.Z}
}

@INPROCEEDINGS{hurzeler:rise:2005,
  author = {{D}avid {H}urzeler},
  title = {{N}etwork {S}tructure and {T}raffic {M}odeling and {S}imulation with
	{CO}-{OPN}},
  booktitle = {{R}apid {I}ntegration of {S}oftware {E}ngineering techniques},
  year = {2006},
  volume = {LNCS 3943},
  publisher = {Springer-Verlag}
}

@MISC{MTF,
  author = {{IBM}},
  title = {{IBM} {M}odel {T}ransformation {F}ramework},
  year = {2007},
  note = {\url{http://www.alphaworks.ibm.com/tech/mtf}},
  date-modified = {2008-02-26 00:32:13 +0100}
}

@MISC{mediniQVT_web,
  author = {ikv++ technologies},
  title = {medini {QVT}},
  note = {\url{http://projects.ikv.de/qvt}},
  date-added = {2008-02-26 00:54:47 +0100},
  date-modified = {2008-02-26 00:56:09 +0100},
  keywords = {Transformation Languages, QVTTools}
}

@MISC{dome,
  author = {{H}oneywell {I}nternational {I}nc.},
  title = {{DO}main {M}odeling {E}nvironment},
  note = {\url{http://www.htc.honeywell.com/dome/}}
}

@BOOK{CoFI:2004:CASL-RM,
  title = {\textsc{Casl} {R}eference {M}anual},
  publisher = {Springer},
  year = {2004},
  author = {{C}o{FI} ({T}he {C}ommon {F}ramework {I}nitiative)},
  series = {LNCS 2960 (IFIP Series)}
}

@MISC{gme,
  author = {{I}nstitute for {S}oftware {I}ntegrated {S}ystems, {V}anderbilt {U}niversity},
  title = {{T}he {G}eneric {M}odeling {E}nvironment},
  year = {2007},
  note = {\url{http://www.isis.vanderbilt.edu/projects/gme}},
  date-modified = {2008-02-26 00:33:45 +0100},
  keywords = {DSML, DSMLTools, GME}
}

@BOOK{rup_book,
  title = { {T}he {U}nified {S}oftware {D}evelopment {P}rocess},
  publisher = {Addison Wesley},
  year = {1999},
  author = {{I}var {J}acobson and {G}rady {B}ooch and {J}ames {R}umbaugh}
}

@ARTICLE{JaJe05,
  author = {{C}laude {J}ard and {T}hierry {J}eron},
  title = {{TGV}: theory, principles and algorithms: {A} tool for the automatic
	synthesis of conformance test cases for non-deterministic reactive
	systems},
  journal = {{I}nt. {J}. {S}oftw. {T}ools {T}echnol. {T}ransf.},
  year = {2005},
  volume = {7},
  pages = {297--315},
  number = {4},
  address = {Berlin, Heidelberg},
  doi = {http://dx.doi.org/10.1007/s10009-004-0153-x},
  issn = {1433-2779},
  publisher = {Springer-Verlag}
}

@MISC{JML,
  author = {{JML}},
  title = {{J}ava {M}odeling {L}anguage},
  note = {http://www.cs.iastate.edu/~leavens/JML/}
}

@BOOK{vdm_book,
  title = {{S}ystematic software development using {VDM}},
  publisher = {Prentice Hall International (UK) Ltd.},
  year = {1986},
  author = {{C} {B} {J}ones},
  address = {Hertfordshire, UK, UK},
  isbn = {0-13-880725-6}
}

@ARTICLE{Jones:jucs_11_5:the_atomic_manifesto,
  author = {{C}. {B}. {J}ones and {D}. {L}omet and {A}. {R}omanovsky and {G}.
	{W}eikum},
  title = {{T}he {A}tomic {M}anifesto},
  journal = {{J}ournal of {U}niversal {C}omputer {S}cience},
  year = {2005},
  volume = {11},
  pages = {636--650},
  number = {5}
}

@BOOK{Jorgensen02,
  title = {{S}oftware {T}esting: {A} {C}raftsman's {A}pproach},
  publisher = {CRC Press, Inc.},
  year = {1995},
  author = {{P}aul {C}. {J}orgensen},
  address = {Boca Raton, FL, USA},
  isbn = {084937345X}
}

@INPROCEEDINGS{ATL:QVT,
  author = {{F}r\'{e}d\'{e}ric {J}ouault and {I}van {K}urtev},
  title = {{O}n the architectural alignment of {ATL} and {QVT}},
  booktitle = {{SAC} '06: {P}roceedings of the 2006 {ACM} symposium on {A}pplied
	computing},
  year = {2006},
  pages = {1188--1195},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/1141277.1141561},
  isbn = {1-59593-108-2},
  keywords = {ATL, Transformation Languages},
  location = {Dijon, France}
}

@INPROCEEDINGS{MTIP05,
  author = {{F}r\'ed\'eric {J}ouault and {I}van {K}urtev},
  title = {{T}ransforming {M}odels with {ATL}},
  booktitle = {{P}roceedings of the {M}odel {T}ransformations in {P}ractice {W}orkshop
	at {M}o{DELS} 2005},
  year = {2005},
  address = {Montego Bay, Jamaica},
  publisher = { },
  authorurls = {http://www.sciences.univ-nantes.fr/lina/atl/contrib/jouault and http://www.sciences.univ-nantes.fr/lina/atl/contrib/kurtev},
  bdsk-url-1 = {http://sosym.dcs.kcl.ac.uk/events/mtip/submissions/jouault%5C_kurtev%5C_%5C_transforming%5C_models%5C_with%5C_atl.pdf},
  date-modified = {2008-02-26 00:46:18 +0100},
  keywords = {Model Transformation, Transformation Languages, QVT, ATL},
  url = {http://sosym.dcs.kcl.ac.uk/events/mtip/submissions/jouault\_kurtev\_\_transforming\_models\_with\_atl.pdf}
}

@ARTICLE{DBLP:journals/computer/Brooks87,
  author = {{F}rederick {P}. {B}rooks {J}r.},
  title = {{N}o {S}ilver {B}ullet - {E}ssence and {A}ccidents of {S}oftware
	{E}ngineering},
  journal = {{IEEE} {C}omputer},
  year = {1987},
  volume = {20},
  pages = {10-19},
  number = {4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@BOOK{KaBaPe01,
  title = {{L}essons {L}earned in {S}oftware {T}esting},
  publisher = {John Wiley \& Sons, Inc.},
  year = {2001},
  author = {{C}em {K}aner and {J}ames {B}ach and {B}ret {P}ettichord},
  address = {New York, NY, USA},
  isbn = {0471081124}
}

@ARTICLE{Karsai:jucs_9_11:on_the_use_of,
  author = {{G}abor {K}arsai and {A}ditya {A}grawal and {F}eng {S}hi and {J}onathan
	{S}prinkle},
  title = {{O}n the {U}se of {G}raph {T}ransformation in the {F}ormal {S}pecification
	of {M}odel {I}nterpreters},
  journal = {{J}ournal of {U}niversal {C}omputer {S}cience},
  year = {2003},
  volume = {9},
  pages = {1296--1321},
  number = {11},
  month = {nov},
  abstract = {Model-based development necessitates the transformation of models
	between different stages and tools of the design process. These transformations
	must be precisely, preferably formally, specified, such that end-to-end
	semantic interoperability is maintained. The paper introduces a graph-transformation-based
	technique for specifying these model transformations, gives a formal
	definition for the semantics of the transformation language, describes
	an implementation of the language, and illustrates its use through
	an example.},
  date = {2003-11-28}
}

@MISC{kgbweb,
  author = {{KGB} team, {J}ozef {S}tefan {I}nstitute, {L}jubljana},
  title = {{T}eam bibliography},
  note = {\url{http://kgb.ijs.si/KGB/accomplishments.php}}
}

@ARTICLE{DBLP:journals/dke/Kindler06,
  author = {{E}kkart {K}indler},
  title = {{O}n the semantics of {EPC}s: {R}esolving the vicious circle.},
  journal = {{D}ata {K}nowl. {E}ng.},
  year = {2006},
  volume = {56},
  pages = {23-40},
  number = {1},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1016/j.datak.2005.02.005}
}

@INPROCEEDINGS{DBLP:conf/epk/Kindler03,
  author = {{E}kkart {K}indler},
  title = {{O}n the semantics of {EPC}s: {A} framework for resolving the vicious
	circle.},
  booktitle = {{EPK}},
  year = {2003},
  pages = {7-18},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://www.epk-community.de/epk2003/paper/epk2003-proceedings-K.pdf}
}

@ARTICLE{Kin76,
  author = {{J}ames {C}. {K}ing},
  title = {{S}ymbolic {E}xecution and {P}rogram {T}esting},
  journal = {{C}ommunications of the {ACM}},
  year = {1976},
  volume = {19},
  pages = {385-394},
  number = {7},
  month = jul
}

@BOOK{KleppeWarmerBast03,
  title = {{MDA} {E}xplained. {T}he {M}odel {D}riven {A}rchitecture: {P}ractice
	and {P}romise},
  publisher = {Addison-Wesley},
  year = {2003},
  author = {{A}nneke {K}leppe and {J}os {W}armer and {W}im {B}ast}
}

@INPROCEEDINGS{eugenia,
  author = {{K}olovos, {D}imitrios {S}. and {R}ose, {L}ouis {M}. and {P}aige,
	{R}ichard {F}. and {P}olack, {F}iona {A}. {C}.},
  title = {{R}aising the level of abstraction in the development of {GMF}-based
	graphical model editors},
  booktitle = {{MISE} '09: {P}roceedings of the 2009 {ICSE} {W}orkshop on {M}odeling
	in {S}oftware {E}ngineering},
  year = {2009},
  pages = {13--19},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  doi = {http://dx.doi.org/10.1109/MISE.2009.5069891},
  isbn = {978-1-4244-3722-1}
}

@INPROCEEDINGS{dsl:dom,
  author = {{B}assem {K}osayba and {R}apha\`el {M}arvie and {J}ean-{M}arc {G}eib},
  title = {{M}odel {D}riven {P}roduction of {D}omain-{S}pecific {M}odeling {T}ools},
  booktitle = {{P}roceedings of the 4th {OOPSLA} {W}orkshop on {D}omain-{S}pecific
	{M}odeling},
  year = {2004}
}

@TECHREPORT{Koshkina03:bpel,
  author = {{M}. {K}oshkina and {F}. van {B}reugel},
  title = {{V}erification of business processes for {W}eb services},
  institution = {Technical Report CS-2003-11, York University},
  year = {October 2003}
}

@ARTICLE{50759,
  author = {{G}lenn {E}. {K}rasner and {S}tephen {T}. {P}ope},
  title = {{A} cookbook for using the model-view controller user interface paradigm
	in {S}malltalk-80},
  journal = {{J}. {O}bject {O}riented {P}rogram.},
  year = {1988},
  volume = {1},
  pages = {26--49},
  number = {3},
  address = {Denville, NJ, USA},
  issn = {0896-8438},
  publisher = {SIGS Publications}
}

@INPROCEEDINGS{ATL:Rule-Bases,
  author = {{I}van {K}urtev and {K}laas van den {B}erg and {F}r\'{e}d\'{e}ric
	{J}ouault},
  title = {{E}valuation of rule-based modularization in model transformation
	languages illustrated with {ATL}},
  booktitle = {{SAC} '06: {P}roceedings of the 2006 {ACM} symposium on {A}pplied
	computing},
  year = {2006},
  pages = {1202--1209},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/1141277.1141563},
  isbn = {1-59593-108-2},
  keywords = {ATL, Transformation Languages},
  location = {Dijon, France}
}

@INPROCEEDINGS{Kuster,
  author = {{J}ochen {M}. {K}uster},
  title = {{S}ystematic {V}alidation of {M}odel {T}ransformations},
  booktitle = {{E}ssentials of the 3rd {UML} {W}orkshop in {S}oftware {M}odel {E}ngineering
	({W}i{SME}�2004)},
  year = {2004},
  isbn = {978-3-540-25081-4}
}

@TECHREPORT{valid:06,
  author = {{L}aboratoire d'{I}nformatique de {L}'{U}niversit\'e de {F}ranche-{C}ompt\'e
	and {U}niversity of {G}eneva and {LEIRIOS} {T}echnologies and {CTI}
	({G}eneva)},
  title = {{P}rojet {VALID}: {R}apport final de projet},
  institution = {Projet INTERREG III France-Suisse},
  year = {2006}
}

@MISC{model_evolving_filesystem:11,
  author = {{L}evi {L}\'ucio},
  title = {{M}odel of an evolving confidential filesystem},
  year = {2011},
  note = {\url{http://hera.uni.lu/~levi.lucio/operational_resilience/evolving_filesystem.zip}}
}

@TECHREPORT{luc06,
  author = {{L}evi {L}\'ucio},
  title = {{S}yntax and {S}emantics of {SATEL} ({S}emi {A}utomatic {T}esting
	{L}anguage)},
  institution = {Software Modeling and Verification Group, University of Geneva},
  year = {2006},
  note = {\url {http://smv.unige.ch/tiki-index.php?page=temporaryTechReports}}
}

@TECHREPORT{lucio:10,
  author = {{L}evi {L}\'ucio and {E}ugene {S}yriani and {M}oussa {A}mrani and
	{Q}in {Z}hang and {H}ans {V}angheluwe},
  title = {{I}nvariant {P}reservation {I}n {I}terative {M}odeling ({E}xtended
	{V}ersion)},
  year = {2011},
  note = {{\small \url {http://msdl.cs.mcgill.ca/people/levi/me/material}}}
}

@INPROCEEDINGS{Ladd:94,
  author = {{D}. {A}. {L}add and {J}. {C}. {R}amming},
  title = {{T}wo {A}pplication {L}anguages in {S}oftware {P}roduction},
  booktitle = {{P}roc.\ of the 19994 {USENIX} {S}ymposium on {V}ery {H}igh {L}evel
	{L}anguages({VHLL})},
  year = {1994},
  pages = {169-177},
  address = {Santa Fe, NM}
}

@INPROCEEDINGS{MaherLamari:2006,
  author = {{M}aher {L}amari},
  title = {{T}owards an automated test generation for the verification of model
	transformations},
  booktitle = {{P}roceedings of the 2007 {ACM} symposium on {A}pplied computing},
  year = {2007},
  pages = {998-1005},
  address = {Seoul, Korea},
  isbn = {1-59593-480-4}
}

@INPROCEEDINGS{651300,
  author = {{J}uan de {L}ara and {H}ans {V}angheluwe},
  title = {{AT}o{M}3: {A} {T}ool for {M}ulti-formalism and {M}eta-modelling},
  booktitle = {{FASE} '02: {P}roceedings of the 5th {I}nternational {C}onference
	on {F}undamental {A}pproaches to {S}oftware {E}ngineering},
  year = {2002},
  pages = {174--188},
  address = {London, UK},
  publisher = {Springer-Verlag},
  date-added = {2008-02-25 12:58:50 +0100},
  date-modified = {2008-02-25 12:58:58 +0100},
  isbn = {3-540-43353-8},
  keywords = {DSML DSMLTools AToM3}
}

@INPROCEEDINGS{740343,
  author = {{J}uan de {L}ara and {H}ans {V}angheluwe},
  title = {{U}sing {M}eta-{M}odelling and {G}raph {G}rammars to {P}rocess {GPSS}
	{M}odels},
  booktitle = {{P}roceedings of the 16th {E}uropean {S}imulation {M}ulticonference
	on {M}odelling and {S}imulation 2002},
  year = {2002},
  pages = {100--107},
  publisher = {SCS Europe},
  date-added = {2008-02-25 12:59:53 +0100},
  date-modified = {2008-02-25 13:00:00 +0100},
  isbn = {90-77039-07-4},
  keywords = {DSML DSMLTools AToM3}
}

@INPROCEEDINGS{Tefkat,
  author = {{L}awley, {M}.{J} and {S}teel, {J}.},
  title = {{P}ractical {D}eclarative {M}odel {T}ransformation {W}ith {T}efkat},
  booktitle = {{S}atellite {E}vents at the {M}o{DELS} 2005 {C}onference {LNCS} {V}ol.
	3844},
  year = {2005}
}

@TECHREPORT{Leavens00:jml,
  author = {{G}ary {T}. {L}eavens and {K}. {R}ustan {M}. {L}eino and {E}rik {P}oll
	and {C}lyde {R}uby and {B}art {J}acobs},
  title = {{JML}: notations and tools supporting detailed design in {J}ava},
  institution = {In OOPSLA '00 Companion, Minneapolis, Minnesota, pp. 105-106. Copyright
	ACM, 2000. Also Department of Computer Science, Iowa State University,
	TR \#00-15},
  year = {August 2000}
}

@INPROCEEDINGS{ledeczi:01,
  author = {{L}edeczi, {A}. and {N}ordstrom, {G}. and {K}arsai, {G}. and {V}olgyesi,
	{P}. and {M}aroti, {M}. },
  title = {{O}n metamodel composition},
  booktitle = {{C}ontrol {A}pplications, 2001. ({CCA} '01). {P}roceedings of the
	2001 {IEEE} {I}nternational {C}onference on},
  year = {2001},
  pages = {756--760},
  abstract = {Computer-based systems (CBS) development integrates various disciplines,
	such as hardware design, software engineering, and performance modeling,
	as well as the "base" engineering discipline in which the CBS will
	operate. As such, use of a "non-native" modeling language is not
	acceptable when performing CBS design, and rapid specification and
	development of domain-specific modeling languages (DSMLs) is necessary.
	We advocate a UML-based metamodeling technique to DSML specification
	and generation. A key feature of our approach is the composition
	of new metamodels from existing metamodels through the use of three
	newly defined UML operators-equivalence, implementation inheritance,
	and interface inheritance. The paper describes the development of
	these new operators, details how they are used in metamodel composition,
	and presents examples of metamodel composition},
  citeulike-article-id = {2157206},
  date-added = {2008-03-12 15:48:09 +0100},
  date-modified = {2008-03-12 15:50:10 +0100},
  doi = {10.1109/CCA.2001.973959},
  journal = {{C}ontrol {A}pplications, 2001. ({CCA} '01). {P}roceedings of the
	2001 {IEEE} {I}nternational {C}onference on},
  keywords = {Metamodel Composition},
  url = {http://dx.doi.org/10.1109\%2FCCA.2001.973959}
}

@INPROCEEDINGS{DBLP:conf/kbse/LedruBBMOP01,
  author = {{Y}ves {L}edru and {L}ydie du {B}ousquet and {P}ierre {B}ontron and
	{O}livier {M}aury and {C}atherine {O}riat and {M}arie-{L}aure {P}otet},
  title = {{T}est {P}urposes: {A}dapting the {N}otion of {S}pecification to
	{T}esting.},
  booktitle = {{ASE}},
  year = {2001},
  pages = {127-134},
  ee = {http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260127abs.htm}
}

@ARTICLE{LeBoBoMarPo01,
  author = {{Y}. {L}edru and {L}. du {B}ousquet and {P}. {B}ontron and {O}. {M}aury
	and {C}. {O}riat and {M}.-{L}. {P}otet},
  title = {{T}est {P}urposes: {A}dapting the {N}otion of {S}pecification to
	{T}esting},
  journal = {ase},
  year = {2001},
  volume = {00},
  pages = {127},
  address = {Los Alamitos, CA, USA},
  doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989798},
  isbn = {0-7695-1426-X},
  publisher = {IEEE Computer Society}
}

@INPROCEEDINGS{DBLP:conf/fase/LedruBMB04,
  author = {{Y}ves {L}edru and {L}ydie du {B}ousquet and {O}livier {M}aury and
	{P}ierre {B}ontron},
  title = {{F}iltering {TOBIAS} {C}ombinatorial {T}est {S}uites.},
  booktitle = {{FASE}},
  year = {2004},
  pages = {281-294},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2984{\&}spage=281}
}

@INPROCEEDINGS{DBLP:conf/kbse/LegeardP01,
  author = {{B}runo {L}egeard and {F}abien {P}eureux},
  title = {{G}eneration of {F}unctional {T}est {S}equences from {B} {F}ormal
	{S}pecifications-{P}resentation and {I}ndustrial {C}ase {S}tudy.},
  booktitle = {{ASE}},
  year = {2001},
  pages = {377-381},
  ee = {http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260377abs.htm}
}

@INPROCEEDINGS{lege:peur,
  author = {{B}runo {L}egeard and {F}abien {P}eureux},
  title = {{G}eneration of {F}unctional {T}est {S}equences from {B} {F}ormal
	{S}pecifications-{P}resentation and {I}ndustrial {C}ase {S}tudy.},
  booktitle = {{ASE}},
  year = {2001},
  pages = {377-381}
}

@ARTICLE{DBLP:journals/stvr/LegeardPU04,
  author = {{B}runo {L}egeard and {F}abien {P}eureux and {M}ark {U}tting},
  title = {{C}ontrolling test case explosion in test generation from {B} formal
	models},
  journal = {{S}oftw. {T}est., {V}erif. {R}eliab.},
  year = {2004},
  volume = {14},
  pages = {81-103},
  number = {2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1002/stvr.287}
}

@ARTICLE{1165102,
  author = {{D}. {L}eroux and {M}. {N}ally and {K}. {H}ussey},
  title = {{R}ational software architect: a tool for domain-specific modeling},
  journal = {{IBM} {S}yst. {J}.},
  year = {2006},
  volume = {45},
  pages = {555--568},
  number = {3},
  address = {Riverton, NJ, USA},
  date-added = {2008-02-25 13:40:49 +0100},
  date-modified = {2008-02-25 13:41:13 +0100},
  issn = {0018-8670},
  keywords = {DSML, DSMLTools, RetionalArchitect},
  publisher = {IBM Corp.}
}

@INPROCEEDINGS{DBLP:conf/issre/LestiennesG02,
  author = {{G}r{\'e}gory {L}estiennes and {M}arie-{C}laude {G}audel},
  title = {{T}esting {P}rocesses from {F}ormal {S}pecifications with {I}nputs,
	{O}utputs and {D}ata {T}ypes},
  booktitle = {{ISSRE}},
  year = {2002},
  pages = {3-14}
}

@TECHREPORT{MDAWorkshop,
  author = {{G}race {A}. {L}ewis and {B}. {C}raig {M}eyers and {K}urt {W}allnau},
  title = {{W}orkshop on {M}odel-{D}riven {A}rchitecture and {P}rogram {G}eneration},
  institution = {Carnegie Mellon University},
  year = {2006},
  number = {CMU/SEI-2006-TN-031},
  optwebsite = {http://www.sei.cmu.edu/publications/documents/06.reports/06tn031.html}
}

@MISC{CPN-AMI,
  author = {{LIP}6},
  title = {{CPN}-{AMI}},
  note = {http://move.lip6.fr/software/CPNAMI/index.html}
}

@UNPUBLISHED{ll:bb:va:10,
  author = {{L}evi {L}ucio and {B}runo {B}arroca and {V}asco {A}maral},
  title = {{A} transformation model checker (submitted to {ICMT} 2010)},
  note = {\url{http://solar.di.fct.unl.pt/twiki/pub/BATICCCS/ReleaseFiles/transmc.pdf}},
  url = {http://solar.di.fct.unl.pt/twiki/pub/BATICCCS/ReleaseFiles/transmc.pdf}
}

@UNPUBLISHED{ll:ng:10,
  author = {{L}evi {L}ucio and {N}icolas {G}uelfi},
  title = {{O}perational {R}esilience -- {A} {M}odelling {A}pproach},
  note = {Technical Report TR-LASSY-11-02},
  year = {2011}
}

@INPROCEEDINGS{lucio:rise:2004,
  author = {{L}evi {L}ucio and {L}uis {P}edro and {D}idier {B}uchs},
  title = {{A} {M}ethodology and a {F}ramework for {M}odel-{B}ased {T}esting},
  booktitle = {{R}apid {I}ntegration of {S}oftware {E}ngineering techniques},
  year = {2005},
  editor = {N. Guelfi},
  volume = {LNCS 3475},
  pages = {57-70},
  publisher = {LNCS}
}

@INPROCEEDINGS{mtoos:luc:ped:buc:06,
  author = {{L}evi {L}ucio and {L}uis {P}edro and {D}idier {B}uchs},
  title = {{S}emi-{A}utomatic {T}est {C}ase {G}eneration from {CO}-{OPN} {S}pecifications},
  booktitle = {{P}roceedings of the {W}orkshop on {M}odel-{B}ased {T}esting and
	{O}bject-{O}riented {S}ystems},
  year = {2006},
  pages = {19-26},
  publisher = {Microsoft Research}
}

@INPROCEEDINGS{rsp:luc:ped:buc:05,
  author = { {L}evi {L}ucio and {L}uis {P}edro and {D}idier {B}uchs},
  title = {{A} {T}est {S}election {L}anguage for {CO}-{OPN} {S}pecifications},
  booktitle = {{IEEE} {I}nternational {W}orkshop on {R}apid {S}ystem {P}rototyping},
  year = {2005},
  pages = {195-201}
}

@INPROCEEDINGS{DBLP:conf/dagstuhl/LucioS04,
  author = {{L}evi {L}ucio and {M}arko {S}amer},
  title = {{T}echnology of {T}est-{C}ase {G}eneration.},
  booktitle = {{M}odel-{B}ased {T}esting of {R}eactive {S}ystems},
  year = {2004},
  pages = {323-354}
}

@INPROCEEDINGS{dsl:LKT04,
  author = {{J}anne {L}uoma and {S}teven {K}elly and {J}uha-{P}ekka {T}olvanen},
  title = {{D}efining {D}omain-{S}pecific {L}anguages: {C}ollected {E}xperiences.},
  booktitle = {{P}roceedings of the 4th {OOPSLA} {W}orkshop on {D}omain-{S}pecific
	{M}odeling},
  year = {2004}
}

@INPROCEEDINGS{Lucio2011,
  author = {{L}{\'u}cio, {L}evi and {Z}hang, {Q}in and {S}ousa, {V}asco and {M}ouelhi,
	{T}ejeddine},
  title = {{V}erifying {A}ccess {C}ontrol in {S}tatecharts},
  booktitle = {{J}ournal of {ECASST}, {MPM}'11 workshop},
  year = {2011},
  address = {Wellington},
  month = {October}
}

@INPROCEEDINGS{Jansen05:cpn,
  author = {{M}.{H}.{J}ansen-{V}ullers and {H}.{A}. {R}eijers},
  title = {{B}usiness {P}rocess {R}edesign at a {M}ental {H}ealthcare {I}nstitute:
	{A} {C}oloured {P}etri {N}et {A}pproach},
  booktitle = {{P}roceedings of the {S}ixth {W}orkshop and {T}utorial on {P}ractical
	{U}se of {C}oloured {P}etri {N}ets and the {CPN} {T}ools, {D}epartment
	of {C}omputer {S}cience, {U}niversity of {A}arhus, {PB}-576, 21-38},
  year = {October 2005}
}

@TECHREPORT{Malandain:06:baticscollchap6,
  author = {{S}t\'ephane {M}alandain and {P}ierrick {Z}oss},
  title = {{BATIC}$^3${S} {V}isual {M}odel},
  institution = {Ecole d'Ingenieurs de Gen\`eve},
  year = {2006},
  note = {\url {http://smv.unige.ch/tiki-index.php?page=BATICSBiblio}},
  pages = {127-139}
}

@MISC{Maria,
  author = {{M}aria},
  title = {{T}he {M}odular {R}eachability {A}nalyzer},
  note = {\url{http://www.tcs.hut.fi/Software/maria/}},
  date-modified = {2008-02-27 17:26:06 +0100},
  keywords = {Maria, Model Checking}
}

@PHDTHESIS{marre91,
  author = {{B}runo {M}arre},
  title = {{U}ne m\'etode et un outil d'assistance \`a la s\'election de jeux
	de tests \`a partir de sp\'ecifications alg\'ebriques},
  school = {Universite de Paris-Sud -- Centre D'Orsay},
  year = {1991}
}

@INPROCEEDINGS{DBLP:conf/jfplc/Marre89,
  author = {{B}runo {M}arre},
  title = {{G}{\'e}n{\'e}ration automatique de jeux de tests, une solution:
	{S}p{\'e}cifications {A}lg{\'e}briques et {P}rogrammation {L}ogique},
  booktitle = {{SPLT}},
  year = {1989},
  pages = {213-}
}

@TECHREPORT{marvie:tr10:04,
  author = {{R}aphael {M}arvie},
  title = {{A} {T}ransformation {C}omposition {F}ramework for {M}odel {D}riven
	{E}ngineering},
  institution = {Laboratoire d\'Informatique Fondamentale de Lille},
  year = {2004},
  number = {2004-10},
  optwebsite = {http://www.lifl.fr/jacquard/En/Pub2004?action=bibentry&bibfile=jacquard&bibref=marvie-tr10-04}
}

@INPROCEEDINGS{Medeiros05:cpn,
  author = {{A}.{K}. {A}lves de {M}edeiros and {C}.{W}. {G}unther},
  title = {{P}rocess {M}ining: {U}sing {CPN} {T}ools to {C}reate {T}est {L}ogs
	for {M}ining {A}lgorithms},
  booktitle = {{P}roceedings of the {S}ixth {W}orkshop and {T}utorial on {P}ractical
	{U}se of {C}oloured {P}etri {N}ets and the {CPN} {T}ools, {D}epartment
	of {C}omputer {S}cience, {U}niversity of {A}arhus, {PB}-576, 177-190.},
  year = {October 2005}
}

@INPROCEEDINGS{mendling05:yaepc,
  author = {{J}. {M}endling and {G}. {N}eumann and {M}. {N}uttgens},
  title = {{Y}et {A}nother {E}vent-{D}riven {P}rocess {C}hain},
  booktitle = {{I}n: {W}.{M}.{P}. van der {A}alst et al.: {P}roceedings of the 3rd
	{I}nternational {C}onference on {B}usiness {P}rocess {M}anagement
	({BPM} 2005), pages 428-433, {LNCS} 3649, {S}pringer-{V}erlag, {N}ancy,
	{F}rance,},
  year = {September 2005}
}

@INPROCEEDINGS{Mendling05:epc,
  author = {{J}. {M}endling and {G}. {N}eumann and {M}. {N}uttgens},
  title = {{T}owards {W}orkflow {P}attern {S}upport of {E}vent-{D}riven {P}rocess
	{C}hains ({EPC})},
  booktitle = {{M}. {N}uttgens, {J}. {M}endling, eds.: {P}roc. of the 2nd {GI} {W}orkshop
	{XML}4{BPM} - {XML} for {B}usiness {P}rocess {M}anagement at {BTW}
	2005, {K}arlsruhe, {G}ermany, {CEUR} {W}orkshop {P}roceedings {V}olume
	145, {ISSN}-1613-0073, pages 23-38},
  year = {March 2005}
}

@ARTICLE{Mendling:EPML,
  author = {{J}. {M}endling and {M}. {N}uttgens},
  title = {{EPC} {M}arkup {L}anguage ({EPML}) - {A}n {XML}-{B}ased {I}nterchange
	{F}ormat for {E}vent-{D}riven {P}rocess {C}hains ({EPC})},
  journal = {{I}nternational {J}ournal {I}nformation {S}ystems and e-{B}usiness
	{M}anagement ({IS}e{B}). {S}pringer-{V}erlag, no. 10257},
  year = {2006}
}

@BOOK{Meyer:97,
  title = {{O}bject-{O}riented {S}oftware {C}onstruction},
  publisher = {Prentice Hall},
  year = {1997},
  author = {{B}ertrand {M}eyer},
  edition = {2$^{nd}$}
}

@ARTICLE{DBLP:journals/jss/Meyer88,
  author = {{B}ertrand {M}eyer},
  title = {{E}iffel: {A} language and environment for software engineering},
  journal = {{J}ournal of {S}ystems and {S}oftware},
  year = {1988},
  volume = {8},
  pages = {199-246},
  number = {3},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1016/0164-1212(88)90022-2}
}

@MISC{dotnet_web,
  author = {{M}icrosoft},
  title = {{M}icrosoft .{N}et},
  note = {\url{http://www.microsoft.com/net/}},
  date-added = {2008-02-28 13:16:21 +0100},
  date-modified = {2008-02-28 13:17:06 +0100},
  keywords = {.NET, Microsoft}
}

@MISC{microsoftdsltools_web,
  author = {{M}icrosoft},
  title = {{D}omain-{S}pecific {L}anguage {T}ools},
  note = {\url{http://msdn2.microsoft.com/en-us/vs2005/aa718368.aspx}},
  date-added = {2008-02-25 13:46:01 +0100},
  date-modified = {2008-02-26 00:37:04 +0100},
  keywords = {MicrosoftDSLTools, DSML, DSMLTools},
  url = {http://msdn2.microsoft.com/en-us/vs2005/aa718368.aspx}
}

@TECHREPORT{gme-techreport,
  author = {\'{A}kos {L}édecz iand {M}ikl\'os {M}ar\'oti and {P}\'eter {V}olgyesi
	},
  title = {{T}he {G}eneric {M}odeling {E}nvironment},
  institution = {Institute for Software Integrated Systems, Vanderbilt University},
  year = {2001}
}

@BOOK{Milner89,
  title = {{C}ommunication and {C}oncurrency},
  publisher = {Prentice-Hall, Inc.},
  year = {1989},
  author = {{R}. {M}ilner},
  address = {Upper Saddle River, NJ, USA},
  isbn = {0131149849}
}

@MISC{Gmorph,
  author = {{S}oftware {M}odeling and {V}erification {L}ab},
  title = {{G}enermorphous},
  note = {\url {http://cui.unige.ch/smv/gmorph/}}
}

@CONFERENCE{mohan94:atmtutorial,
  author = {{C}. {M}ohan},
  title = {{T}utorial: {A}dvanced {T}ransaction {M}odels - {S}urvey and {C}ritique},
  booktitle = {{P}resented at {ACM} {SIGMOD} {I}nternational {C}onference on {M}anagement
	of {D}ata, {M}inneapolis},
  year = {May 1994},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{DBLP:conf/bpm/MoldtR03,
  author = {{D}aniel {M}oldt and {H}eiko {R}{\"o}lke},
  title = {{P}attern {B}ased {W}orkflow {D}esign {U}sing {R}eference {N}ets.},
  booktitle = {{B}usiness {P}rocess {M}anagement},
  year = {2003},
  pages = {246-260},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://link.springer.de/link/service/series/0558/bibs/2678/26780246.htm}
}

@ARTICLE{moore_00,
  author = {{G}ordon {E}. {M}oore},
  title = {{C}ramming more components onto integrated circuits},
  journal = {{R}eadings in computer architecture},
  year = {2000},
  pages = {56--59},
  address = {San Francisco, CA, USA},
  isbn = {1-55860-539-8},
  publisher = {Morgan Kaufmann Publishers Inc.}
}

@BOOK{ibm:emf_gmf_redbook,
  title = {{E}clipse {D}evelopment using the {G}raphical {E}diting {F}ramework
	and the {E}clipse {M}odeling {F}ramework},
  publisher = {IBM RedBooks},
  year = {2004},
  author = {{W}illiam {M}oore and {D}avid {D}ean and {A}nna {G}erber and {G}unnar
	{W}agenknecht and {P}hilippe {V}anderheyden},
  month = {February},
  abstract = {Eclipse Development using the Graphical Editing Framework and the
	Eclipse Modelling Framework is written for developers who use the
	Eclipse SDK to develop plug-in code. This IBM Redbook is intended
	for a technical readership and for developers who already have good
	knowledge and experience in Eclipse plug-in development. 
	
	In this book, we examine two frameworks that are developed by the
	Eclipse Tools Project for use with the Eclipse Platform: the Graphical
	Editing Framework (GEF), and the Eclipse Modeling Framework (EMF).
	We cover both the Graphical Editing Framework and the Eclipse Modeling
	Framework, but these frameworks can be used separately, and there
	is no dependency between them. 
	
	This book provides a high level introduction to these frameworks so
	that Eclipse plug-in developers can consider whether the frameworks
	will be useful for the requirements of their particular development
	environment. Next, tips and techniques are provided for writing code
	that uses GEF and EMF. Also, a detailed example is developed to illustrate
	a GEF editor that uses an EMF model.},
  date-added = {2008-02-25 13:02:28 +0100},
  date-modified = {2008-02-25 13:15:38 +0100},
  keywords = {DSML, DSMLTools, EMF, GMF}
}

@INPROCEEDINGS{gp:moss05,
  author = {{A}ndrew {M}oss and {H}enk {M}uller},
  title = {{E}fficient {C}ode {G}eneration for a {D}omain {S}pecific {L}anguage},
  booktitle = {{G}enerative {P}rogramming and {C}omponent {E}ngineering},
  year = {2005},
  pages = {47--62},
  month = {September},
  publisher = {Springer Verlag},
  isbn = {3-540-29138-5},
  pubtype = {102},
  url = {http://www.cs.bris.ac.uk/Publications/Papers/2000404.pdf}
}

@ARTICLE{DBLP:journals/entcs/Mosses06,
  author = {{P}eter {D}. {M}osses},
  title = {{F}ormal {S}emantics of {P}rogramming {L}anguages: - {A}n {O}verview
	- .},
  journal = {{E}lectr. {N}otes {T}heor. {C}omput. {S}ci.},
  year = {2006},
  volume = {148},
  pages = {41-73},
  number = {1}
}

@ARTICLE{Moussa2000,
  author = {{F}. {M}oussa and {C}. {K}olski and {M}. {R}iahi},
  title = {{A} model based approach to semi-automated user interface generation
	for process control interactive applications},
  journal = {{I}nteracting with {C}omputers},
  year = {2000},
  volume = {12},
  pages = {245-279},
  number = {3},
  month = {January}
}

@BOOK{Meyers79,
  title = {{T}he {A}rt of {S}oftware {T}esting},
  publisher = {John Wiley \& Sons, Inc.},
  year = {1979},
  author = {{G}lenford {J}. {M}yers},
  address = {New York, NY, USA},
  isbn = {0471043281}
}

@MISC{mdr_web,
  author = {net{B}eans},
  title = {{M}etadata {R}epository},
  note = {\url{http://mdr.netbeans.org/}}
}

@INPROCEEDINGS{Netjes05:cpn,
  author = {{M}ariska {N}etjes and {W}il {M}.{P}. van der {A}alst and {H}ajo
	{R}eijers},
  title = {{A}nalysis of {R}esource-{C}onstrained {P}rocesses with {C}olored
	{P}etri {N}ets},
  booktitle = {{P}roceedings of the {S}ixth {W}orkshop and {T}utorial on {P}ractical
	{U}se of {C}oloured {P}etri {N}ets and the {CPN} {T}ools, {D}epartment
	of {C}omputer {S}cience, {U}niversity of {A}arhus, {PB}-576, 251-265},
  year = {October 2005}
}

@INPROCEEDINGS{nielsen,
  author = {{N}ielsen, {J}akob and {L}andauer, {T}homas {K}.},
  title = {{A} mathematical model of the finding of usability problems},
  booktitle = {{CHI} '93: {P}roceedings of the {INTERACT} '93 and {CHI} '93 conference
	on {H}uman factors in computing systems},
  year = {1993},
  pages = {206--213},
  address = {New York, NY, USA},
  publisher = {ACM},
  doi = {http://doi.acm.org/10.1145/169059.169166},
  isbn = {0-89791-575-5},
  location = {Amsterdam, The Netherlands}
}

@MISC{magicdraw_web,
  author = {{N}o {M}agic, {I}nc},
  title = {{M}agic{D}raw {UML}},
  note = {\url{http://www.magicdraw.com}}
}

@INPROCEEDINGS{DBLP:conf/ecbs/NordstromSKL99,
  author = {{G}reg {N}ordstrom and {J}anos {S}ztipanovits and {G}abor {K}arsai
	and {\'A}kos {L}{\'e}deczi},
  title = {{M}etamodeling - {R}apid {D}esign and {E}volution of {D}omain-{S}pecific
	{M}odeling {E}nvironments.},
  booktitle = {{ECBS}},
  year = {1999},
  pages = {68-74}
}

@MISC{omg_web,
  author = {{OMG}},
  title = {{O}bject {Management} {G}roup},
  note = {\url{http://mdr.omg.org/}}
}

@TECHREPORT{ouyang05:bpel,
  author = {{C}. {O}uyang and {W}.{M}.{P}. van der {A}alst and {S}. {B}reutel
	and {M}. {D}umas and {A}.{H}.{M}. ter {H}ofstede and {H}.{M}.{W}.
	{V}erbeek},
  title = {{F}ormal {S}emantics and {A}nalysis of {C}ontrol {F}low in {WS}-{BPEL}},
  institution = {BPM Center Report BPM-05-15, BPMcenter.org},
  year = {2005}
}

@BOOK{Mosterman2004,
  title = {{C}omputer {A}utomated {M}ulti-{P}aradigm {M}odeling: {A}n {I}ntroduction.
	{S}imulation: {T}ransactions of the {S}ociety for {M}odeling and
	{S}imulation {I}nternational},
  year = {2004},
  author = {{P}. {J}. {M}osterman, {H}. {V}angheluwe},
  pages = {433-450},
  topics = {Grand Challenges for Modeling and Simulation}
}

@PHDTHESIS{Peraire98,
  author = {{C}ecile {P}\'eraire},
  title = {{F}ormal testing of object-oriented software: from the method to
	the tool},
  school = {EPFL - Switzerland},
  year = {1998}
}

@INPROCEEDINGS{PBB98,
  author = {{C}\'ecile {P}\'eraire and {S}t\'ephane {B}arbey and {D}idier {B}uchs},
  title = {{T}est selection for object-oriented software based on formal specifications},
  booktitle = {{PROCOMET} '98: {P}roceedings of the {IFIP} {TC}2/{WG}2.2,2.3 {I}nternational
	{C}onference on {P}rogramming {C}oncepts and {M}ethods},
  year = {1998},
  pages = {385--403},
  address = {London, UK, UK},
  publisher = {Chapman \& Hall, Ltd.},
  isbn = {0-412-83760-9}
}

@INPROCEEDINGS{pe:ba:bu:98,
  author = {{C}\'ecile {P}\'eraire and {S}t\'ephane {B}arbey and {D}idier {B}uchs},
  title = {{T}est selection for object-oriented software based on formal specifications},
  booktitle = {{PROCOMET} '98: {P}roceedings of the {IFIP} {TC}2/{WG}2.2,2.3 {I}nternational
	{C}onference on {P}rogramming {C}oncepts and {M}ethods},
  year = {1998},
  pages = {385--403},
  address = {London, UK, UK},
  publisher = {Chapman \& Hall, Ltd.},
  isbn = {0-412-83760-9}
}

@ARTICLE{Padberg98rule-basedrefinement,
  author = {{P}adberg, {J}ulia and {G}ajewsky, {M}agdalena and {E}rmel, {C}laudia},
  title = {{R}ule-{B}ased {R}efinement of {H}igh-{L}evel {N}ets {P}reserving
	{S}afety {P}roperties.},
  journal = {{S}cience of {C}omputer {P}rogramming},
  year = {2001},
  volume = {40},
  pages = {97--118},
  number = {1},
  booktitle = {{F}undamental {A}pproaches to {S}oftware {E}ngineering},
  publisher = {Springer Verlag}
}

@TECHREPORT{Padberg97refinementversus,
  author = {{J}. {P}adberg and {M}. {G}ajewsky and {C}. {E}rmel},
  title = {{R}efinement versus {V}erification: {C}ompatibility of {N}et {I}nvariants
	and {S}tepwise {D}evelopment of {H}igh-{L}evel {P}etri {N}ets},
  institution = {Technische Universitat Berlin},
  year = {1997}
}

@ARTICLE{Par81,
  author = {{D}avid {P}ark},
  title = {{C}oncurrency and automata on infinite sequences},
  journal = {{L}ecture {N}otes in {C}omputer {S}cience},
  year = {1981},
  volume = {104},
  pages = {167--183},
  doi = {http://doi.acm.org/10.1145/2455.2460},
  publisher = {Springer-Verlag}
}

@CONFERENCE{yatl-1829,
  author = {{O}ctavian {P}atrascoiu},
  title = {{YATL}:{Y}et {A}nother {T}ransformation {L}anguage},
  booktitle = {{P}roceedings of the 1st {E}uropean {MDA} {W}orkshop, {MDA}-{IA}},
  year = {2004},
  pages = {83-90},
  month = {January},
  organization = {University of Twente, the Nederlands},
  keywords = {UML MDA model transformation},
  publication_type = {conference},
  submission_id = {8657_1079954108},
  url = {http://www.cs.kent.ac.uk/pubs/2004/1829}
}

@TECHREPORT{pedro:metamodelcomposition,
  author = {{L}uis {P}edro},
  title = {{M}etamodel {C}omposition: a {S}tate of the {A}rt and {S}emantic
	{M}apping},
  institution = {University of Geneva},
  year = {2007},
  month = {March},
  optnote = {\url{http://smv.unige.ch/tiki-download\_file.php?fileId=683}}
}

@TECHREPORT{pedro:uml2coopn,
  author = {{L}uis {P}edro},
  title = {{UML2} to {CO-OPN} transformation {S}tate {M}achines and {C}lass
	{D}iagrams transformation},
  institution = {University of Geneva},
  year = {2006},
  month = {September},
  note = {\url{http://smv.unige.ch/tiki-download\_file.php?fileId=683}}
}

@INPROCEEDINGS{pedro:rise2007,
  author = {{L}uis {P}edro and {D}idier {B}uchs and {L}evi {L}ucio},
  title = {{M}odel and {M}etamodel {S}emantics {E}nrichment {U}sing {T}ransformations
	and {D}omain {C}omposition},
  booktitle = {{RISE} 2007},
  year = {2007},
  editor = {Nicolas Guelfi},
  date-added = {2008-02-27 00:01:27 +0100},
  date-modified = {2008-02-27 00:02:30 +0100},
  keywords = {Metamodel Composition, SMV, pedro}
}

@UNPUBLISHED{Pedro:05:MTTCGF,
  author = {{L}uis {P}edro and {L}evi {L}\'ucio and {D}idier {B}uchs},
  title = {{M}odel {T}ransformation for a {T}est {C}ase {G}eneration {F}ramework},
  note = {Submitted to the MoDELS 2005 conference},
  year = {2005}
}

@ARTICLE{pedro:dist_systems_online,
  author = {{L}uis {P}edro and {L}evi {L}ucio and {D}idier {B}uchs},
  title = {{S}ystem {P}rototype and {V}erification {U}sing {M}etamodel-{B}ased
	{T}ransformations},
  journal = {{IEEE} {D}istributed {S}ystems {O}nline},
  year = {2007},
  volume = {8},
  number = {4},
  date-added = {2008-02-26 23:49:44 +0100},
  date-modified = {2008-02-26 23:52:13 +0100},
  keywords = {Model Transformation, SMV, pedro}
}

@INPROCEEDINGS{pedro:rise:2005,
  author = {{L}uis {P}edro and {L}evi {L}ucio and {D}idier {B}uchs},
  title = {{P}rototyping {D}omain {S}pecific {L}anguages {W}ith {COOPN}},
  booktitle = {{R}apid {I}ntegration of {S}oftware {E}ngineering techniques},
  year = {2006},
  volume = {LNCS 3943},
  publisher = {Springer-Verlag}
}

@ARTICLE{pret,
  author = {{J}an {P}hilipps and {A}lexander {P}retschner and {O}scar {S}lotosch
	and {E}rnst {A}iglstorfer and {S}tefan {K}riebel and {K}ai {S}choll},
  title = {{M}odel-{B}ased {T}est {C}ase {G}eneration for {S}mart {C}ards.},
  journal = {{E}lectr. {N}otes {T}heor. {C}omput. {S}ci.},
  year = {2003},
  volume = {80}
}

@TECHREPORT{plotkin81structural,
  author = {{G}. {D}. {P}lotkin},
  title = {{A} {S}tructural {A}pproach to {O}perational {S}emantics},
  institution = {University of Aarhus},
  year = {1981},
  number = {DAIMI FN-19}
}

@MISC{Presburgerwikipedia,
  author = {{M}. {P}resburger},
  title = {{W}ikipedia: http://en.wikipedia.org/wiki/{P}resburger arithmetic}
}

@INPROCEEDINGS{pres29,
  author = {{P}resburger, {M}. },
  title = {{U}eber die {V}ollstaendigkeit eines gewissen {S}ystems der {A}rithmetik
	ganzer {Z}ahlen, in welchem die {A}ddition als einzige {O}peration
	hervortritt.},
  booktitle = {{I}n {C}omptes {R}endus du {I} congrs de {M}athmaticiens des {P}ays
	{S}laves},
  year = {1929},
  pages = {92-101},
  adress = { Warsaw, Poland}
}

@ARTICLE{DBLP:journals/sttt/PretschnerSAK04,
  author = {{A}lexander {P}retschner and {O}scar {S}lotosch and {E}rnst {A}iglstorfer
	and {S}tefan {K}riebel},
  title = {{M}odel-based testing for real},
  journal = {{STTT}},
  year = {2004},
  volume = {5},
  pages = {140-157},
  number = {2-3},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://www.springerlink.com/index/10.1007/s10009-003-0128-3}
}

@TECHREPORT{jmi_spec,
  author = {{J}ava {C}ommunity {P}rocess},
  title = {{J}ava {M}etadata {I}nterface({JMI}) {S}pecification },
  institution = {Sun},
  year = {2002},
  month = {June}
}

@MISC{gmf_web,
  author = {{E}clipse {P}roject},
  title = {{E}clipse {G}raphical {M}odeling {F}ramework},
  date-added = {2008-02-25 13:09:00 +0100},
  date-modified = {2008-02-25 13:13:41 +0100},
  keywords = {GMF},
  url = {http://www.eclipse.org/modeling/gmf/}
}

@MISC{AtlantEcoreZoo,
  author = {{E}clipse {P}roject},
  title = {{T}he {A}tlant{E}core zoo},
  year = {2007},
  note = {\url{http://www.eclipse.org/gmt/am3/zoos/atlantEcoreZoo/}},
  date-added = {2008-02-26 22:56:55 +0100},
  date-modified = {2008-02-26 22:59:06 +0100},
  keywords = {Metamodeling}
}

@ARTICLE{proth98,
  author = {{J}ean-{M}arie {P}roth and {X}iaolan {X}ie},
  title = {{P}etri {N}ets: a {T}ool for {D}esign and {M}anagement of {M}anufacturing
	{S}ystems},
  journal = {{Q}uality and {R}eliability {E}ngineering {I}nternational},
  year = {1998},
  volume = {13},
  pages = {114-114},
  number = {2},
  month = dec
}

@INPROCEEDINGS{puerta99towards,
  author = {{A}ngel {R}. {P}uerta and {J}acob {E}isenstein},
  title = {{T}owards a {G}eneral {C}omputational {F}ramework for {M}odel-{B}ased
	{I}nterface {D}evelopment {S}ystems},
  booktitle = {{I}ntelligent {U}ser {I}nterfaces},
  year = {1999},
  pages = {171-178},
  url = {citeseer.ist.psu.edu/puerta99towards.html}
}

@INPROCEEDINGS{Puhlmann05:bpm,
  author = {{F}rank {P}uhlmann and {M}athias {W}eske},
  title = {{U}sing the {P}i-{C}alculus for {F}ormalizing {W}orkflow {P}atterns},
  booktitle = {{P}roceedings of 3rd {I}nternational {C}onference on {B}usiness {P}rocess
	{M}anagement},
  year = {September 2005}
}

@INPROCEEDINGS{Queille:Sifakis:1982,
  author = {{Q}ueille, {J}ean-{P}ierre and {S}ifakis, {J}oseph},
  title = {{S}pecification and verification of concurrent systems in {CESAR}},
  booktitle = {{P}roceedings of the 5th {C}olloquium on {I}nternational {S}ymposium
	on {P}rogramming},
  year = {1982},
  pages = {337--351},
  address = {London, UK},
  publisher = {Springer-Verlag},
  acmid = {721668},
  isbn = {3-540-11494-7},
  numpages = {15},
  url = {http://portal.acm.org/citation.cfm?id=647325.721668}
}

@ARTICLE{Racloz:95:ATSCPN,
  author = {{P}ascal {R}acloz},
  title = {{A} temporal specification checker for {P}etri nets},
  journal = {{IEEE} {I}nternational {C}onference on {S}ystems, {M}an and {C}ybernetics},
  year = {1995},
  pages = {3475--3480},
  note = {Vancouver-Canada},
  abstract = {Not Available},
  signature = {lglftp.epfl.ch:pub/Papers/racloz-smc.ps}
}

@ARTICLE{Racloz:95:TSCPN,
  author = {{P}ascal {R}acloz},
  title = {{A} temporal specification checker for {P}etri nets},
  journal = {{IEEE} {I}nternational {C}onference on {S}ystems, {M}an and {C}ybernetics},
  year = {1995},
  pages = {3475--3480},
  note = {Vancouver-Canada},
  abstract = {Not Available},
  url = {lglftp.epfl.ch:pub/Papers/racloz-smc.ps}
}

@PHDTHESIS{Racloz:94:SPTPVK,
  author = {{P}ascal {R}acloz},
  title = {{S}ymbolic proof of temporal properties for various kinds of {P}etri
	nets},
  school = {University of Geneva},
  year = {1994}
}

@PHDTHESIS{Racloz:94:SPTPVKPN,
  author = {{P}ascal {R}acloz},
  title = {{S}ymbolic proof of temporal properties for various kinds of {P}etri
	nets},
  school = {University of Geneva},
  year = {1994},
  month = apr,
  source = {author}
}

@INPROCEEDINGS{Racloz:93:SPCTLFPN,
  author = {{P}ascal {R}acloz and {D}idier {B}uchs},
  title = {{S}ymbolic {P}roof of {CTL} {F}ormulae over {P}etri {N}ets},
  booktitle = {8th {I}nternationnal {S}ymposium on {C}omputer and {I}nformation
	{S}ciences},
  year = {1993},
  editor = {G. Levent and O. Raif and G. Erol},
  pages = {189--196},
  month = nov,
  organization = {Istambul, Turkey},
  source = {authors}
}

@TECHREPORT{rekow:2007,
  author = {{A}strid {R}akow},
  title = {{S}licing petri nets},
  institution = {University of Oldenburg, Germany},
  year = {2007},
  url = {parsys.informatik.unioldenburg.de/pub/index.html#SlPN tr.pdf}
}

@MISC{RationalRose,
  author = {{R}ational},
  title = {{R}ational {R}ose},
  note = {\url{http://www.rational.com/ products/rose/index.jsp}}
}

@MISC{RationalXDE,
  author = {{R}ational},
  title = {{R}ational {XDE}},
  note = {\url{http://www.rational.com/ products/xde/index.jsp}}
}

@ARTICLE{Rei91,
  author = {{W}olfgang {R}eisig},
  title = {{P}etri nets and algebraic specifications},
  journal = {{T}heoretical {C}omputer {S}cience},
  year = {1991},
  volume = {80},
  pages = {1-34},
  publisher = {Elsevier}
}

@UNPUBLISHED{gaelle:vuille:bachelor:06,
  author = {{G}a{\"e}lle {R}ibordy and {Y}anick {V}uille},
  title = {{D}rink {V}ending {M}achine prototyping by {L}ego},
  note = {Bachelor Thesis, Universit{\'e} de Gen{\`e}ve},
  year = {2006},
  keywords = {SMV, Bachelors},
  school = {Universit\'e de Gen\`eve}
}

@INPROCEEDINGS{Risoldi:06:RISE,
  author = {{M}atteo {R}isoldi and {V}asco {A}maral},
  title = {{T}owards a formal, model-based framework for control systems interaction
	prototyping},
  booktitle = {{R}apid {I}ntegration of {S}oftware {E}ngineering techniques},
  year = {2007},
  editor = {Nicolas Guelfi and Didier Buchs},
  volume = {4401},
  series = {LNCS},
  pages = {144-159},
  publisher = {Springer-Verlag}
}

@UNPUBLISHED{risoldi:05,
  author = {{M}. {R}isoldi and {D}. {B}uchs},
  title = {{M}odel-based prototyping of graphical user interfaces for complex
	control systems},
  note = {Submited to MoDELS 2005 conference}
}

@INPROCEEDINGS{Rolim:94:TSPPMPPPAS,
  author = {{J}os {R}olim and {E}rik {U}rland and {M}athieu {B}uffo and {D}idier
	{B}uchs},
  title = {{TSPP} methodology for producing parallel probabilistic algorithms
	from specifications},
  booktitle = {{P}roceedings of the {SPP} conference '94},
  year = {1994},
  month = nov,
  organization = {SPP},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Rolim:94:TSPPMPPPAS/paper.ps.gz}
}

@ARTICLE{Rusinkiewicz95:transworkflow,
  author = {{M}. {R}usinkiewicz and {A}. {S}heth},
  title = {{S}pecification and execution of transactional workflows},
  journal = {{I}n {W}. {K}im, editor, {M}odern {D}atabase {S}ystems. {A}ddison-{W}esley,
	{R}eading, {M}a, {U}.{S}.{A}.},
  year = {1995}
}

@TECHREPORT{Russel04:wpdata,
  author = {{N}. {R}ussell and {A}.{H}.{M}. ter {H}ofstede and {D}. {E}dmond
	and {W}.{M}.{P}. van der {A}alst},
  title = {{W}orkflow {D}ata {P}atterns},
  institution = {QUT Technical report, FIT-TR-2004-01, Queensland University of Technology,
	Brisbane},
  year = {2004},
  timestamp = {2006.02.12}
}

@TECHREPORT{Russel04:wpresource,
  author = {{N}. {R}ussell and {A}.{H}.{M}. ter {H}ofstede and {D}. {E}dmond
	and {W}.{M}.{P}. van der {A}alst},
  title = {{W}orkflow {R}esource {P}atterns},
  institution = {BETA Working Paper Series, WP 127, Eindhoven University of Technology,
	Eindhoven},
  year = {2004},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{PVS,
  author = {{S}am {O}wre, {N}atarajan {S}hankar, and {J}ohn {R}ushby},
  title = {{PVS}: {A} {P}rototype {V}erification {S}ystem},
  booktitle = {{CADE} 11, {S}aratoga {S}prings, {NY}},
  year = {1992}
}

@ARTICLE{SANDOR,
  author = {{C}hristian {S}andor and {G}udrun {K}linker},
  title = {{A} rapid prototyping software infrastructure for user interfaces
	in ubiquitous augmented reality},
  journal = {{S}pringer-{V}erlag},
  year = {2005}
}

@INPROCEEDINGS{Sarshar05:bpm,
  author = {{K}amyar {S}arshar and {P}hilipp {D}ominitzki and {P}eter {L}oos},
  title = {{E}mpirical {E}valuation of {EPC} and {P}etri {N}ets from the {E}nd-{U}ser
	{P}erspective},
  booktitle = {{P}roceedings of 3rd {I}nternational {C}onference on {B}usiness {P}rocess
	{M}anagement},
  year = {September 2005}
}

@PHDTHESIS{schnoebelen90,
  author = {{P}hillipe {S}chnoebelen},
  title = {{S}\'emantique du parall\'elisme et logique temporelle, {A}pplication
	au langage {FP}2},
  school = {Institut National Polytechnique de Grenoble},
  year = {1990}
}

@ARTICLE{Schnoebelen:88,
  author = {{P}h. {S}chnoebelen},
  title = {{R}efined compilation of pattern-matching for functional languages},
  journal = {{S}ci. {C}omput. {P}rogram.},
  year = {1988},
  volume = {11},
  pages = {133--159},
  number = {2},
  address = {Amsterdam, The Netherlands, The Netherlands},
  doi = {http://dx.doi.org/10.1016/0167-6423(88)90002-0},
  issn = {0167-6423},
  publisher = {Elsevier North-Holland, Inc.}
}

@MISC{defincontrol,
  author = {{R}alph {A}llen {S}chool},
  title = {{R}alph {A}llen {S}chool {G}lossary},
  note = {\url{http://www.ralphallen.bathnes.sch.uk/pages/academicareas/subjects/ict/vceict/glossary.htm}}
}

@TECHREPORT{progres,
  author = {{A}ndy {S}ch�rr},
  title = {{PROGRES}, {A} {V}isual {L}anguage and {E}nvironment for {PRO}gramming
	with {G}raph {RE}writing {S}ystems},
  institution = {Lehrstuhl f�r Informatik III, RWTH Aachen},
  year = {1994},
  optaddress = {Germany}
}

@INPROCEEDINGS{SKS01,
  author = {{P}. {S}elonen and {K}. {K}oskimies and {M}. {S}akkinen},
  title = {{H}ow to {M}ake {A}pples from {O}ranges in {UML}},
  booktitle = {{HICSS} '01: {P}roceedings of the 34th {A}nnual {H}awaii {I}nternational
	{C}onference on {S}ystem {S}ciences ( {HICSS}-34)-{V}olume 3},
  year = {2001},
  pages = {3054},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0981-9}
}

@INPROCEEDINGS{Sendal:03a,
  author = {{S}hane {S}endall},
  title = {{C}ombining {G}enerative and {G}raph {T}ransformation {T}echniques
	for {M}odel {T}ransformation: {A}n {E}ffective {A}lliance?},
  booktitle = {{OOPSLA} 03 {W}orkshop - {G}enerative techniques in the context of
	{MDA}},
  year = {2003}
}

@INPROCEEDINGS{Sendal:03b,
  author = {{S}hane {S}endall},
  title = {{S}ource {E}lement {S}election {I}n {M}odel {T}ransformation},
  booktitle = {{UML} 03 {W}orkshop in {S}oftware {M}odel {E}ngineering ({W}i{SME})},
  year = {2003}
}

@PHDTHESIS{Sendal:2002,
  author = {{S}hane {S}endall},
  title = {{S}pecifying {R}eactive {S}ystem {B}ehavior},
  school = {Ecole Polytechnique F\'ed\'erale de Lausanne},
  year = {2002}
}

@ARTICLE{SendallK03,
  author = {{S}hane {S}endall and {W}ojtek {K}ozaczynski},
  title = {{M}odel {T}ransformation: {T}he {H}eart and {S}oul of {M}odel-{D}riven
	{S}oftware {D}evelopment.},
  journal = {{IEEE} {S}oftware},
  year = {2003},
  volume = {20},
  pages = {42-45},
  number = {5},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://csdl.computer.org/comp/mags/so/2003/05/s5042abs.htm}
}

@INPROCEEDINGS{SPG+03,
  author = {{S}hane {S}endall and {G}. {P}errouina and {N}. {G}uelfi and {O}.
	{B}iberstein},
  title = {{S}upporting {M}odel-to-{M}odel {T}ransformations: {T}he {VMT} {A}pproach},
  booktitle = {{W}orkshop on {M}odel {D}riven {A}rchitecture: {F}oundations and
	{A}pplications},
  year = {2003}
}

@INPROCEEDINGS{Sendall:2000:UML,
  author = {{S}hane {S}endall and {A}lfred {S}trohmeier},
  title = {{F}rom {U}se {C}ases to {S}ystem {O}peration {S}pecifications},
  booktitle = {{UML} 2000 - {T}he {U}nified {M}odeling {L}anguage. {A}dvancing the
	{S}tandard. {T}hird {I}nternational {C}onference, {Y}ork, {UK}, {O}ctober
	2000, {P}roceedings},
  year = {2000},
  editor = {Andy Evans and Stuart Kent and Bran Selic},
  volume = {1939},
  series = {LNCS},
  pages = {1--15},
  publisher = {Springer}
}

@INPROCEEDINGS{Sendall:1999:UML,
  author = {{S}hane {S}endall and {A}lfred {S}trohmeier},
  title = {{UML} {B}ased {F}usion {A}nalysis {A}pplied to a {B}ank {C}ase {S}tudy},
  booktitle = {{UML}'99 - {T}he {U}nified {M}odeling {L}anguage. {B}eyond the {S}tandard.
	{S}econd {I}nternational {C}onference, {F}ort {C}ollins, {CO}, {USA},
	{O}ctober 28-30. 1999, {P}roceedings},
  year = {1999},
  editor = {Robert France and Bernhard Rumpe},
  volume = {1723},
  series = {LNCS},
  pages = {278--291},
  publisher = {Springer}
}

@MISC{ComediaSMV,
  author = {{SMV}},
  title = {{C}omedia},
  note = {\url{http://smv.unige.ch/tiki-download_file.php?fileId=619}}
}

@MISC{pedro:domainconceptslist,
  author = {{S}oftware {M}odeling {V}erification, {G}roup },
  title = {{L}ibrary of {D}omain {C}oncepts},
  year = {2008},
  note = {\url {http://smv.unige.ch/tiki-index.php?page=MTVLibraryDomainConcepts
	}}
}

@MISC{ArcStyler,
  author = {{I}nteractive {O}bjects {S}oftware},
  title = {{A}rc{S}tyler {W}eb {S}ite, {I}nteractive {O}bjects {S}oftware},
  year = {2007},
  note = {\url{http://www.arcstyler.com/}},
  date-modified = {2008-02-26 00:31:22 +0100},
  keywords = {MDA Case Tools}
}

@MASTERSTHESIS{Vasco:09:MDDICSUIST,
  author = {{V}asco {S}ousa},
  title = {{M}odel {D}riven {D}evelopment {I}mplementation of a {C}ontrol {S}ystems
	{U}ser {I}nterfaces {S}pecification {T}ool},
  school = {Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia,
	Portugal},
  year = {2009},
  month = february,
  url = {http://dspace.fct.unl.pt/bitstream/10362/1961/1/Sousa_2009.pdf}
}

@INPROCEEDINGS{stroh,
  author = {{A}lfred {S}trohmeier},
  title = {{F}ondue: {A}n {O}bject-{O}riented {D}evelopment {M}ethod based on
	the {UML} {N}otation},
  booktitle = {{X} {J}ornada {T}\'ecnica de {A}da-{S}pain, {D}ocumentaci\'on, {ETSI}
	de {T}elecommunicaci\'on, {U}niversidad {P}olit\'ecnica de {M}adrid},
  year = {2001},
  address = {Madrid, Spain},
  month = {November}
}

@MISC{jee_web,
  author = {{S}un},
  title = {{J}ava {P}latform, {E}nterprise {E}dition},
  note = {\url{http://java.sun.com/javaee/}},
  date-added = {2008-02-28 13:13:53 +0100},
  date-modified = {2008-02-28 13:15:06 +0100},
  keywords = {Java}
}

@MISC{ltg,
  author = {{L}eirios {T}echnologies},
  title = {{L}eirios homepage.},
  note = {http://www.leirios.com}
}

@PHDTHESIS{thesis:thibault,
  author = {{S}cott {T}hibault},
  title = {{D}omain-specific languages: {C}onception, implementation and application},
  school = {University of Rennes},
  year = {1998},
  month = {October},
  date-added = {2008-02-25 11:18:57 +0100},
  date-modified = {2008-02-25 11:20:19 +0100},
  keywords = {DSML}
}

@INPROCEEDINGS{Thierry-Mieg03,
  author = {{Y}ann {T}hierry-{M}ieg and {C}laude {D}utheillet and {I}sabelle
	{M}ounier},
  title = {{A}utomatic {S}ymmetry {D}etection in {W}ell-{F}ormed {N}ets.},
  booktitle = {{P}roceedings of the 24th {I}nternational {C}onference on {A}pplications
	and {T}heory of {P}etri {N}ets ({ICATPN} 2003), {L}ecture {N}otes
	in {C}omputer {S}cience / {W}il {M}. {P}. },
  year = {2003},
  volume = {2679},
  pages = {82-101},
  month = jun,
  publisher = {Springer-Verlag},
  note = {InternalNote: Submitted by: hr},
  abstract = {Formal verification of complex systems using high-level Petri Nets
	faces the so-called state-space explosion problem. In the context
	of Petri nets generated from a higher level specification, this problem
	is particularly acute due to the inherent size of the considered
	models. A solution is to perform a symbolic analysis of the reachability
	graph, which exploits the symmetry of a model. Well-Formed Nets (
	WN) are a class of high-level Petri nets, developed specifically
	to allow automatic construction of a symbolic reachability graph
	(SRG), that represents equivalence classes of states. This relies
	on the definition by the modeler of the symmetries of the model,
	through the definition of {"}static sub-classes{"}. Since a model
	is self-contained, these (a)symmetries are actually defined by the
	model itself. This paper presents an algorithm capable of automatically
	extracting the symmetries inherent to a model, thus allowing its
	symbolic study by translating it to WN. The computation starts from
	the assumption that the model is entirely symmetric, then examines
	each component of a net to deduce the symmetry break it induces.
	This translation is transparent to the end-user, and is implemented
	as a service for the AMI-Net package. It is particularly adapted
	to models containing large value domains, yielding combinatorial
	gain in the size of the reachability graph.},
  keywords = {well-formed Petri nets; symmetry detection; symbolic model-checking;
	partial symmetry;}
}

@INPROCEEDINGS{thierry-mieg.04.forte,
  author = {{Y}ann {T}hierry-{M}ieg and {J}ean-{M}ichel {I}li{\'e} and {D}enis
	{P}oitrenaud},
  title = {{A} {S}ymbolic {S}ymbolic {S}tate {S}pace {R}epresentation},
  booktitle = {{P}roceedings of the 24th {I}nternational {C}onference on {F}ormal
	{T}echniques for {N}etworked and {D}istributed {S}ystems ({FORTE}'04)},
  year = {2004},
  editor = {David de Frutos-Escrig and Manuel N{\'u}{\~n}ez},
  volume = {3235},
  series = {Lecture Notes in Computer Science},
  pages = {276--291},
  month = SEP,
  publisher = {Springer},
  adress = {Madrid, Spain},
  file = {forte04.pdf:articles/forte04.pdf:PDF},
  isbn = {3-540-23252-4}
}

@BOOK{Isabelle,
  title = {{I}sabelle/{HOL}: {A} {P}roof {A}ssistant for {H}igher-order {L}ogic},
  publisher = {Springer},
  year = {1995},
  author = {{T}obias {N}ipkow, {L}awrence {C}. {P}aulson, {M}arkus {W}enzel},
  isbn = {3-54043-376-7}
}

@INPROCEEDINGS{DBLP:conf/concur/Tretmans99,
  author = {{J}an {T}retmans},
  title = {{T}esting {C}oncurrent {S}ystems: {A} {F}ormal {A}pproach},
  booktitle = {{CONCUR}},
  year = {1999},
  pages = {46-65}
}

@ARTICLE{DBLP:journals/stp/Tretmans96,
  author = {{J}an {T}retmans},
  title = {{T}est {G}eneration with {I}nputs, {O}utputs and {R}epetitive {Q}uiescence.},
  journal = {{S}oftware - {C}oncepts and {T}ools},
  year = {1996},
  volume = {17},
  pages = {103-120},
  number = {3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{Tret94,
  author = {{J}an {T}retmans},
  title = {{A} {F}ormal {A}pproach to {C}onformance {T}esting},
  booktitle = {{P}roceedings of the {IFIP} {TC}6/{WG}6.1 {S}ixth {I}nternational
	{W}orkshop on {P}rotocol {T}est systems {VI}},
  year = {1994},
  pages = {257--276},
  publisher = {North-Holland},
  isbn = {0-444-81697-6}
}

@MISC{uppaal,
  author = {{A}alborg {U}niversity},
  title = {{UPPAAL} homepage.},
  note = {http://www.uppaal.com/}
}

@MISC{smv,
  author = {{C}arnegie {M}ellon {U}niversity},
  title = {{SMV} homepage.},
  note = {http://www.cs.cmu.edu/~modelcheck/}
}

@UNPUBLISHED{ut:pr:le:06,
  author = {{M}ark {U}tting and {A}lexander {P}retschner and {B}runo {L}egeard},
  title = {{A} {T}axonomy of {M}odel-{B}ased {T}esting},
  note = { },
  month = apr,
  year = {2006},
  url = {http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-04.pdf}
}

@BOOK{batic3schap,
  title = { {A} language and a methodology for prototyping user interfaces for
	control systems },
  publisher = { Springer-Verlag },
  year = { 2009 },
  author = { {V}. {A}maral, {B}.{B}arroca, {M}. {R}isoldi, {D}. {B}uchs and {G}.
	{F}alquet },
  pages = { 223-252 }
}

@TECHREPORT{Beaudenon05:DDD,
  author = {{V}.{B}eaudenon and {E}. {E}ncrenaz},
  title = {{D}ata {D}ecision {D}iagrams for {P}romela systems {A}nalysis},
  institution = {LIP6 research report},
  year = {2005},
  timestamp = {2006.02.12}
}

@PHDTHESIS{Vachon:thesis00,
  author = {{J}. {V}achon},
  title = {{COALA}: {A} {D}esign {L}anguage for {R}eliable {D}istributed {S}ystems},
  school = {Ph.D. Thesis \#2302, Swiss Federal Institute of Technology, Lausanne,
	Switzerland},
  year = {December 2000},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{Vachon:97:SSID,
  author = {{J}ulie {V}achon and {D}idier {B}uchs},
  title = {{S}ubtyping as a {S}upport for {I}ncremental {D}evelopment},
  booktitle = {{M}odels, {F}ormalisms and {M}ethods for {O}bject {O}riented {D}idtributed
	{C}omputing in {W}orkshop {R}eader, {ECOOP} {C}onference 1997 },
  year = {1997},
  editor = {Remi Bastide and Didier Buchs},
  volume = {1357},
  series = {Lecture Notes in Computer Science},
  pages = {244--247},
  month = jun,
  publisher = {Springer Verlag},
  keywords = {Conform}
}

@TECHREPORT{Vachon98,
  author = {{J}. {V}achon and {D}. {B}uchs and {M}. {B}uffo and {G}. {D}i {M}arzo
	{S}erugendo and {B}. {R}andell and {A}. {R}omanovsky and {R}.{J}.
	{S}troud and {J}. {X}u},
  title = {{C}oala - a formal language for coordinated atomic actions},
  institution = {In 3rd Year Report, ESPRIT Long Term Research Project 20072 on Design
	for Validation. LAAS, France},
  year = {November 1998},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{Vachon:06:COALA,
  author = {{J}ulie {V}achon and {N}icolas {G}uelfi and {A}lexander {R}omanovsky},
  title = {{U}sing {COALA} for the {D}evelopment of a {D}istributed {O}bject-based
	{A}pplication},
  booktitle = {2nd {I}nternational {S}ymposium on {D}istributed {O}bjects \& {A}pplications({DAO}'00)},
  year = {2000},
  address = {Antwerp, Belgium},
  timestamp = {2006.02.12}
}

@MANUAL{gme5:usermanual,
  title = {{GME} 5 {U}ser's {M}anual},
  author = {{V}anderbilt {U}niversity, {I}nstitute for {S}oftware {I}ntegrated
	{S}ystems},
  organization = {Vanderbilt University},
  year = {2005},
  date-added = {2008-02-25 11:44:55 +0100},
  date-modified = {2008-02-25 11:52:11 +0100},
  keywords = {DSML DSMLTools GME}
}

@INPROCEEDINGS{Vanderfeesten05:cpn,
  author = {{I}rene {V}anderfeesten and {W}il {M}.{P}. van der {A}alst and {H}ajo
	{R}eijers},
  title = {{M}odelling a {P}roduct {B}ased {W}orkflow {S}ystem in {CPN} {T}ools},
  booktitle = {{P}roceedings of the {S}ixth {W}orkshop and {T}utorial on {P}ractical
	{U}se of {C}oloured {P}etri {N}ets and the {CPN} {T}ools, {D}epartment
	of {C}omputer {S}cience, {U}niversity of {A}arhus, {PB}-576, 99-118.},
  year = {October 2005}
}

@INCOLLECTION{VW:auttaa,
  author = {{M}oshe {Y}. {V}ardi and {P}ierre {W}olper},
  title = {{A}n {A}utomata-{T}heoretic {A}pproach to {A}utomatic {P}rogram {V}erification
	({P}reliminary {R}eport)},
  booktitle = {{P}roceedings 1st {A}nnual {IEEE} {S}ymp.\ on {L}ogic in {C}omputer
	{S}cience, {LICS}'86, {C}ambridge, {MA}, {USA}, 16--18 {J}une 1986},
  publisher = {IEEE},
  year = {1986},
  pages = {332--344},
  address = {Washington, DC}
}

@ARTICLE{Vernez:2003:PUCPNRAAM/LGL,
  author = {{V}ernez, {D}avid and {B}uchs, {D}idier and {P}ierrehumbert, {G}uillaume},
  title = {{P}erspectives in the {U}se of {C}oloured {P}etri {N}ets for {R}isk
	{A}nalysis and {A}ccident {M}odelling},
  journal = {{S}afety {S}ciences {J}ournal},
  year = {2003},
  details = {http://infoscience.epfl.ch/search.py?recid=54733},
  unit = {LGL}
}

@INPROCEEDINGS{DBLP:conf/pts/VriesBF02,
  author = {{R}en{\'e} {G}. de {V}ries and {A}xel {B}elinfante and {J}an {F}eenstra},
  title = {{A}utomated {T}esting in {P}ractice: {T}he {H}ighway {T}olling {S}ystem.},
  booktitle = {{T}est{C}om},
  year = {2002},
  pages = {219-234}
}

@MISC{xslt,
  author = {{W}3{C}},
  title = {{XSL} {T}ransformations version 1.0},
  note = {\url{http://www.w3.org/TR/xslt}}
}

@MISC{svg_spec,
  author = {{W}3{C}},
  title = {{S}calable {V}ector {G}raphics ({SVG}) 1.1},
  howpublished = {Technical Specification},
  month = {January},
  year = {2005}
}

@ARTICLE{Waechter91:contract,
  author = {{H}. {W}aechter and {A}. {R}euter},
  title = {{T}he {C}on{T}ract {M}odel},
  journal = {{D}atabase {T}ransaction {M}odels for {A}dvanced {A}pplications},
  year = {1991},
  timestamp = {2006.02.12}
}

@ARTICLE{fujaba1,
  author = {{R}. {W}agner},
  title = {{D}eveloping {M}odel {T}ransformations with {F}ujaba},
  journal = {4th {I}nt. {F}ujaba {D}ays},
  year = {2006},
  citeulike-article-id = {3919282},
  keywords = {modeltransformation},
  posted-at = {2009-01-21 09:49:34},
  priority = {2}
}

@INPROCEEDINGS{Wang:2006,
  author = {{W}ang, {J}. and {K}im, {S}.-{K}. and {C}arrington, {D}.},
  title = {{V}erifying metamodel coverage of model transformations},
  booktitle = {{P}roceedings of the 2006 {A}ustralian {S}oftware {E}ngineering {C}onference
	({ASWEC}�06)},
  year = {2006}
}

@BOOK{ocl_book,
  title = {{T}he {O}bject {C}onstraint {L}anguage, {G}etting {Y}our {M}odels
	{R}eady {F}or {MDA}},
  publisher = {Addison Wesley},
  year = {2003},
  author = {{J}os {W}armer and {A}nneke {K}leppe},
  edition = {2}
}

@INPROCEEDINGS{Weijters02,
  author = {{A}. {J}. {M}. {M}. {W}eijters and {W}. {M}. {P}. van der {A}alst},
  title = {{W}orkflow {M}ining: {D}iscovering {W}orkflow {M}odels from {E}vent-{B}ased
	{D}ata.},
  booktitle = {{P}roceedings of the {ECAI} {W}orkshop on {K}nowledge {D}iscovery
	and {S}patial {D}ata},
  year = {2002},
  editor = { {Dousson, C.} and {Hppner, F.} and {Quiniou, R.}},
  pages = {78--84}
}

@ARTICLE{wey:ost:80,
  author = {{E}laine {J}. {W}eyuker and {T}homas {J}. {O}strand},
  title = {{T}heories of program testing and the application of revealing subdomains},
  journal = {{IEEE} {T}ransactions on {S}oftware {E}ngineering},
  year = {1980},
  volume = {6},
  pages = {236-246},
  number = {3}
}

@ARTICLE{stephen04:bpmn-bpel,
  author = {{S}tephen {A}. {W}hite},
  title = {{M}apping {BPMN} to {BPEL} {E}xample},
  journal = {{IBM} {C}orp., {U}nited {S}tates},
  year = {February 2005}
}

@ARTICLE{stephen04:patterns,
  author = {{S}tephen {A}. {W}hite},
  title = {{P}rocess {M}odeling {N}otations and {W}orkflow {P}atterns},
  journal = {{IBM} {C}orp., {U}nited {S}tates},
  year = {2004}
}

@MISC{application:soft,
  author = {{W}ikipedia},
  title = {{A}pplication {S}oftware definition},
  note = {\url {http://en.wikipedia.org/wiki/Application software}}
}

@INPROCEEDINGS{wohed03:bpel,
  author = {{P}. {W}ohed and {W}.{M}.{P}. van der {A}alst and {M}. {D}umas and
	{A}.{H}.{M}. ter {H}ofstede},
  title = {{A}nalysis of {W}eb {S}ervices {C}omposition {L}anguages: {T}he {C}ase
	of {BPEL}4{WS}},
  booktitle = {{I}n {I}.{Y}. {S}ong, {S}.{W}. {L}iddle, {T}.{W}. {L}ing, and {P}.
	{S}cheuermann, editors, 22nd {I}nternational {C}onference on {C}onceptual
	{M}odeling ({ER} 2003), volume 2813 of {L}ecture {N}otes in {C}omputer
	{S}cience, pages 200-215. {S}pringer-{V}erlag, {B}erlin},
  year = {2003}
}

@TECHREPORT{wohed02:bpel,
  author = {{P}. {W}ohed and {W}.{M}.{P}. van der {A}alst and {M}. {D}umas and
	{A}.{H}.{M}. ter {H}ofstede},
  title = {{P}attern-{B}ased {A}nalysis of {BPEL}4{WS}},
  institution = {QUT Technical report, FIT-TR-2002-04, Queensland University of Technology,
	Brisbane},
  year = {2002}
}

@INPROCEEDINGS{wohed04:uml,
  author = {{P}. {W}ohed and {W}.{M}.{P}. van der {A}alst and {M}. {D}umas and
	{A}.{H}.{M}. ter {H}ofstede and {N}. {R}ussell},
  title = {{P}attern-based {A}nalysis of {UML} {A}ctivity {D}iagrams},
  booktitle = {{BETA} {W}orking {P}aper {S}eries, {WP} 129, {E}indhoven {U}niversity
	of {T}echnology, {E}indhoven},
  year = {2004}
}

@INPROCEEDINGS{wohed03:eai,
  author = {{P}. {W}ohed and {E}. {P}erjons and {M}. {D}umas and {A}. ter {H}ofstede},
  title = {{P}attern-{B}ased {A}nalysis of {EAI} {L}anguages: {T}he {C}ase of
	the {B}usiness {M}odeling {L}anguage},
  booktitle = {{I}n {P}roceedings of the 5th {I}nternational {C}onference on {E}nterprise
	{I}nformation {S}ystems ({ICEIS}), {A}ngers, {F}rance},
  year = {April 2003}
}

@MISC{epml,
  author = {www.epml.de},
  title = {{EPC} {M}arkup {L}anguage ({EPML})},
  url = {http://www.epml.de}
}

@INPROCEEDINGS{xu99rigorous,
  author = {{J}ie {X}u and {B}rian {R}andell and {A}lexander {B}. {R}omanovsky
	and {R}obert {J}. {S}troud and {A}. {F}. {Z}orzo and {E}. {C}anver
	and {F}riedrich {W}. von {H}enke},
  title = {{R}igorous {D}evelopment of a {S}afety-{C}ritical {S}ystem {B}ased
	on {C}oordinated {A}tomic {A}ctions},
  booktitle = {{S}ymposium on {F}ault-{T}olerant {C}omputing},
  year = {1999},
  pages = {68-75},
  url = {citeseer.ist.psu.edu/xu99rigorous.html}
}

@ARTICLE{MOI,
  author = {{A}. {Z}aatri and {M}. {O}ussalah},
  title = {{I}ntegration and design of multi-modal interfaces for supervisory
	control systems},
  journal = {{I}nformation {F}usion, {E}lsevier},
  year = {2003},
  volume = {4},
  pages = {135-150}
}

@BOOK{Abrams:Jajodia:Podell:95,
  title = {{I}nformation {S}ecurity: {A}n {I}ntegrated {C}ollection of {E}ssays},
  publisher = {IEEE Computer Society Press},
  year = {1995},
  editor = {Abrams, Marshall D. and Jajodia, Sushil G. and Podell, H. J.},
  address = {Los Alamitos, CA, USA},
  isbn = {0818636629}
}

@PROCEEDINGS{DBLP:conf/dagstuhl/2004test,
  title = {{M}odel-{B}ased {T}esting of {R}eactive {S}ystems, {A}dvanced {L}ectures
	[{T}he volume is the outcome of a research seminar that was held
	in {S}chloss {D}agstuhl in {J}anuary 2004]},
  year = {2005},
  editor = {Manfred Broy and Bengt Jonsson and Joost-Pieter Katoen and Martin
	Leucker and Alexander Pretschner},
  volume = {3472},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {{M}odel-{B}ased {T}esting of {R}eactive {S}ystems},
  isbn = {3-540-26278-4}
}

@PROCEEDINGS{DBLP:conf/apn/1999,
  title = {{A}pplication and {T}heory of {P}etri {N}ets 1999, 20th {I}nternational
	{C}onference, {ICATPN} '99, {W}illiamsburg, {V}irginia, {USA}, {J}une
	21-25, 1999, {P}roceedings},
  year = {1999},
  editor = {Susanna Donatelli and H. C. M. Kleijn},
  volume = {1639},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {{ICATPN}},
  isbn = {3-540-66132-8}
}

@PROCEEDINGS{DBLP:conf/asm/2000,
  title = {{A}bstract {S}tate {M}achines, {T}heory and {A}pplications, {I}nternational
	{W}orkshop, {ASM} 2000, {M}onte {V}erit{\`a}, {S}witzerland, {M}arch
	19-24, 2000, {P}roceedings},
  year = {2000},
  editor = {Yuri Gurevich and Philipp W. Kutter and Martin Odersky and Lothar
	Thiele},
  volume = {1912},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {{A}bstract {S}tate {M}achines},
  isbn = {3-540-67959-6}
}

@PROCEEDINGS{DBLP:conf/mfcs/1999,
  title = {{M}athematical {F}oundations of {C}omputer {S}cience 1999, 24th {I}nternational
	{S}ymposium, {MFCS}'99, {S}zklarska {P}oreba, {P}oland, {S}eptember
	6-10, 1999, {P}roceedings},
  year = {1999},
  editor = {Miroslaw Kutylowski and Leszek Pacholski and Tomasz Wierzbicki},
  volume = {1672},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {{MFCS}},
  isbn = {3-540-66408-4}
}

@PROCEEDINGS{DBLP:conf/splc/2005,
  title = {{S}oftware {P}roduct {L}ines, 9th {I}nternational {C}onference, {SPLC}
	2005, {R}ennes, {F}rance, {S}eptember 26-29, 2005, {P}roceedings},
  year = {2005},
  editor = {J. Henk Obbink and Klaus Pohl},
  volume = {3714},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {{SPLC}},
  isbn = {3-540-28936-4}
}

@BOOK{Roz97,
  title = {{H}andbook of graph grammars and computing by graph transformation:
	volume {I}. foundations},
  publisher = {World Scientific Publishing Co., Inc.},
  year = {1997},
  editor = {Grzegorz Rozenberg},
  address = {River Edge, NJ, USA},
  isbn = {98-102288-48}
}

@PROCEEDINGS{DBLP:conf/vl/2007,
  title = {2007 {IEEE} {S}ymposium on {V}isual {L}anguages and {H}uman-{C}entric
	{C}omputing ({VL}/{HCC} 2007), 23-27 {S}eptember 2007, {C}oeur d'{A}lene,
	{I}daho, {USA}},
  year = {2007},
  publisher = {IEEE Computer Society},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {{VL}/{HCC}},
  isbn = {978-0-7695-2987-5}
}

@PROCEEDINGS{DBLP:conf/rsp/2006,
  title = {17th {IEEE} {I}nternational {W}orkshop on {R}apid {S}ystem {P}rototyping
	({RSP} 2006), 14-16 {J}une 2006, {C}hania, {C}rete, {G}reece},
  year = {2006},
  publisher = {IEEE Computer Society},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {{IEEE} {I}nternational {W}orkshop on {R}apid {S}ystem {P}rototyping},
  isbn = {0-7695-2580-6}
}

